Assertion list for term "specified by the instruction".
Results from Ascent++: 2
operation → ReceivesAction → specified by the instruction 0.35
address → ReceivesAction → specified by the instruction 0.32