Assertion: variable | /r/HasProperty | free
Facets:
value: within the terms
type: OTHER
value: technically
type: MANNER
Source sentences:
text: Whether a variable is free or bound is relative; it depends on the fragment of code you are looking at.
text: Variables bound at the top level of a program are technically free variables within the terms to which they are bound but are often treated specially because they can be compiled as fixed addresses.
text: Otherwise, the variable is known as a free variable.
text: " For this reason, the same variable x can be either free or bound depending on which fragment of code you are talking about.