Assertion: semaphore's value | /r/CapableOf | add the process
Facets:
Source sentences:
text: wait: if the value of semaphore variable is negative or zero, add the process executing wait to the semaphore's queue and set its state to blocked.