Assertion list for term "needed to carry out instruction".
Results from Ascent++: 1
operation (aspect of cpu) → ReceivesAction → needed to carry out instruction 0.28