Assertion: quantifier's scope | /r/HasProperty | the portion of a formula
Facets:
Source sentences:
text: The scope of a quantifier is the portion of a formula where it binds its variables.