Assertion: variable's value | /r/HasProperty | needed in the future
Facets:
Source sentences:
text: A variable is live at some point if it holds a value that may be needed in the future, or equivalently if its value may be read before the next time the variable is written to.