Assertion: instruction | /r/CapableOf | restore the value
Facets:
value: to z.
type: TRANSITIVE-OBJECT
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.