Assertion list for term "designated by the instruction".

Results from Ascent++: 1
address register (subgroup of register) ReceivesActiondesignated by the instruction 0.25