generalized quantifier theory