Assertion: free variable | /r/CapableOf | become bound
Facets:
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.