Assertion: semaphore | /r/HasProperty | manipulated by the p
Facets:
Source sentences:
text: They are manipulated by the P (wait) and V (signal) functions, which decrement and increment the semaphore, respectively.