Assertion: semaphore | /r/HasAspect | semaphore's implementation
Facets:
Source sentences: