comprehension axiom

GPTKB entity