Assertion: semaphore's counter | /r/CapableOf | take value
Facets:
Source sentences:
text: It means binary semaphore protect the access to a SINGLE shared resource, so the internal counter of the semaphore can only take the values 1 or 0.