Assertion: second instruction | /r/CapableOf | subtract this result
Facets:
value: from b
type: OTHER
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.