Assertion: counting quantifier | /r/HasProperty | a notational shorthand
Facets:
value: in this context
type: TEMPORAL
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.