V {alpha+1}

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Von_Neumann_universe power set of V_alpha