Assertion list for term "signaled".
Results from Ascent++: 2
semaphore → ReceivesAction → signaled 0.54
exception → ReceivesAction → signaled 0.35