Assertion: semaphore's implementation | /r/CapableOf | do something of the following
Facets:
Source sentences:
text: I've seen at least one implementation that did something of the following: