Assertion: interrupt's address | /r/HasProperty | moved to temporary location
Facets:
value: before loading the program counter
type: TEMPORAL
Source sentences:
text: Before loading the Program Counter with the address, the address of the interrupted instruction is moved to a temporary location.