generalized quantifier theory

GPTKB entity