Assertion: semaphore's value | /r/CapableOf | become negative
Facets:
value: by decrementing it
type: MANNER
Source sentences:
text: If the resulting value becomes negative then P command is delayed until the condition is satisfied.
text: If the value becomes negative, the process executing wait() is blocked, i.e., added to the semaphore's queue.
text: wait(): If the value of the semaphore variable would become negative by decrementing it by 1, the process executing wait() is blocked (i.e., added to the semaphore's queue).