sentences:  Lindström quantifiers are classified according to the number structure of their parameters.For example formula_15 is a type (1,1) quantifier, whereas formula_16 is a type (2) quantifier.An example of type (1,1) quantifier is Hartig's quantifier testing equicardinality, i.e.