Assertion: semaphore | /r/HasProperty | special
Facets:
value: in that
type: OTHER
Source sentences:
text: A semaphore is somewhat like an integer variable, but is special in that its operations