Assertion: semaphore's value | /r/CapableOf | set its state
Facets:
value: to blocked
type: PURPOSE
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.