Assertion: semaphore | /r/HasProperty | based on variable
Facets:
Source sentences:
text: As usual synchronization primitive, a semaphore is based on a variable.