Assertion: file variable | /r/CapableOf | denote same file
Facets:
value: throughout the program
type: OTHER
Source sentences:
text: Finally, file variables behave very differently from other variables: the file variable itself is usually a fixed value, i.e., it denotes the same file throughout the program, but the contents of successive file elements convey a file element role not comparable to other roles.