Assertion: variable | /r/HasProperty | bound at top level of a program
Facets:
Source sentences:
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.