Assertion: semaphore | /r/HasProperty | accessed through two special operations
Facets:
Source sentences:
text: A semaphore is an integer variable which is accessed through through two special operations, called wait and signal .