Assertion: slice | /r/HasProperty | the union of all slices
Facets:
value: with criteria
type: OTHER
Source sentences:
text: If V is a set of variables in a statement x, then the slice for (x, V) is the union of all slices with criteria (x, v) where v is a variable in the set