Assertion list for term "associated with specified semaphore".
Results from Ascent++: 1
value (aspect of semaphore) → ReceivesAction → associated with specified semaphore 0.32