status in ZFC

1 triples
GPTKB property

Random triples
Subject Object
gptkb:super_Reinhardt_cardinal inconsistent with ZFC (if AC holds)