Assertion list for term "associated with scheduled instruction".
Results from Ascent++: 1
semaphore → ReceivesAction → associated with scheduled instruction 0.25