Assertion: variable's set | /r/HasProperty | assigned value
Facets:
value: in s
type: LOCATION
value: before any use
type: TEMPORAL
Source sentences:
text: KILL [ s ] {\displaystyle {\mbox{KILL}}[s]} [ clarification needed ], KILL (s) is also defined as the set of variables assigned a value in s before any use, but this does not change the solution of the dataflow equation):