Henkin quantifier

GPTKB entity