generalized quantifiers