Assertion: variable | /r/HasProperty | read
Facets:
value: live
type: DEGREE
Source sentences:
text: The transfer function of a statement is applied by making the variables that are written dead, then making the variables that are read live.
text: Conceptually, these variables are considered to be read-only.