Generalized quantifiers