Assertion: semaphore's value | /r/CapableOf | assume nonnegative values
Facets:
Source sentences:
text: Binary Semaphores can assume only the value 0 or the value 1 counting semaphores also called general semaphores can assume only nonnegative values.