Assertion: semaphore's value | /r/HasProperty | least zero
Facets:
value: for some operation
type: OTHER
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: For some operation the value of sem_num is less than 0 or greater than or equal to the number of semaphores in the set.