consistency strength

1 triples
GPTKB property

Random triples
Subject Object
gptkb:super_Reinhardt_cardinal greater than Reinhardt cardinal