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