Assertion: slice | /r/HasProperty | defined for slicing criterion
Facets:
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.