Assertion: counting quantifier | /r/HasProperty | defined in terms of ordinary quantifiers
Facets:
Source sentences:
text: In first-order logic with equality, counting quantifiers can be defined in terms of ordinary quantifiers, so in this context they are a notational shorthand.