Assertion: slice | /r/HasProperty | write(sum
Facets:
Source sentences:
text: So, slice( write(sum), sum) is the union of three slices and the "int sum = 0" statement which has no dependencies: