Assertion: semaphore's value | /r/AtLocation | semaphore's current value
Facets:
Source sentences:
text: positive: the value is added to the semaphore's current value negative: the value is added to the semaphore's current value, provided the current value is at least zero.
text: positive: the value is added to the semaphore's current value negative: the value is added to the semaphore's current value, provided the current value is at least zero.