Assertion: predicate's variable | /r/CapableOf | bound with respect
Facets:
value: to another
type: TRANSITIVE-OBJECT
Source sentences:
text: A variable may also occur freely with respect to one quantifier and bound with respect to another.