Assertion: following instruction | /r/AtLocation | the content
Facets:
value: at location b
type: LOCATION
Source sentences:
text: Addition can be performed by repeated subtraction, with no conditional branching; e.g., the following instructions result in the content at location a being added to the content at location b: