Assertion: quantifier | /r/CapableOf | bind free occurrences of these
Facets:
Source sentences:
text: …be formed, however, in which quantifiers may contain other variables as well, hence binding all free occurrences of these that lie within their scope.