Assertion: binary semaphore | /r/HasAspect | value
Facets:
Source sentences:
text: Quite obvious, binary semaphore can have a value either 0 or 1.