Assertion: free variable | /r/CapableOf | retire in sense
Facets:
value: from being available
type: OTHER
Source sentences:
text: That is, free variables become bound, and then in a sense retire from being available as stand-in values for other values in the creation of formulae.