Assertion: quantifier | /r/HasProperty | quantifying
Facets:
value: clearly
type: MANNER
Source sentences:
text: The quantifiers in the formal definitions of reflexivity, symmetry, and transitivity are clearly all quantifying over set $A$.