Assertion: semaphore | /r/CapableOf | go positive
Facets:
Source sentences:
text: If all trader threads are busy and a new order arrives, the semaphore will go positive so the next P() call by a trader will immediately release it without blocking.