Assertion: quantifier's scope | /r/HasProperty | the range
Facets:
value: in logic
type: OTHER
value: in the formula
type: OTHER
Source sentences:
text: In logic, the scope of a quantifier or a quantification is the range in the formula where the quantifier "engages in".