Assertion: counting quantifier | /r/HasProperty | mathematical term
Facets:
value: for a quantifier of the form
type: PURPOSE
Source sentences:
text: A counting quantifier is a mathematical term for a quantifier of the form "there exists at least k elements that satisfy property X".