Assertion: predicate's variable | /r/CapableOf | occur bound
Facets:
value: in a formula
type: OTHER
Source sentences:
text: In a formula, a variable may occur free or bound (or both).