sentences:  Then, "there are exactly 2 things such that φ" is true in A iff the set of things that are such that φ is a member of the set of all subsets of dom("A") of size 2.A Lindström quantifier is a polyadic generalized quantifier, so instead being a relation between subsets of the domain, it is a relation between relations defined on the domain.For example, the quantifier formula_11 is defined semantically as
  
  where
  
  for an "n"-tuple formula_4 of variables.