Assertion: slice | /r/HasProperty | statement
Facets:
value: in program p
type: LOCATION
Source sentences:
text: The slice is defined for a slicing criterion C=(x,v) where x is a statement in program P and v is variable in x.