Assertion: quantifier | /r/CapableOf | bind set variable
Facets:
Source sentences:
text: These quantifiers bind the set variable x and contain a term t which may not mention x but which may have other free variables.