sentences:  Lindström quantifier
  
  In mathematical logic, a Lindström quantifier is a generalized polyadic quantifier.Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers.