Assertion: binary semaphore | /r/HasProperty | implemented
Facets:
Source sentences:
text: A binary semaphore is implemented as-