Assertion: semaphore's value | /r/HasProperty | called general semaphores
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.