Assertion: predicate's variable | /r/CapableOf | become bound
Facets:
value: during the substitution process
type: TEMPORAL
Source sentences:
text: The substitution rule states that for any φ and any term t, one can conclude φ[t/x] from φ provided that no free variable of t becomes bound during the substitution process.
text: (If some free variable of t becomes bound, then to substitute t for x it is first necessary to change the bound variables of φ to differ from the free variables of t.)