Assertion: counting quantifier | /r/HasProperty | defined in first-order logic
Facets:
value: with equality
type: OTHER
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.