Assertion: static slice | /r/HasProperty | all the statements
Facets:
value: for any possible input
type: PURPOSE
Source sentences:
text: A static slice includes all the statements that can affect the value of variable v at statement x for any possible input.