Assertion: semaphore's value | /r/HasProperty | altered by operation
Facets:
Source sentences:
text: A semaphore is a protected variable whose value can be accessed and altered only by the operations P and V and