Assertion: quantifier | /r/CapableOf | make assertion
Facets:
value: about the set of values
type: OTHER
Source sentences:
text: A quantifier is a logical symbol which makes an assertion about the set of values which make one or more formulas true.