Assertion: quantifier's scope | /r/CapableOf | indicate the segment of a formula
Facets:
value: in ordinary first-order logic
type: OTHER
Source sentences:
text: In ordinary first-order logic, the scope of a quantifier such as (∃x) indicates the segment of a formula in which the variable is bound to that quantifier.