Assertion: semaphore's counter | /r/CapableOf | go in binary semaphore
Facets:
value: between 0
type: TEMPORAL
value: logically
type: MANNER
value: between 1
type: TEMPORAL
Source sentences:
text: In a binary semaphore, the counter logically goes between 0 and 1.
text: In a binary semaphore, the counter logically goes between 0 and 1.