Assertion: second instruction | /r/CapableOf | store this difference
Facets:
value: in b
type: LOCATION
Source sentences:
text: Z. The second instruction subtracts this result from b, storing in b this difference (which is now the sum of the contents originally at a and b); the third instruction restores the value 0 to Z.