Assertion: semaphore | /r/HasProperty | modified by the process
Facets:
Source sentences:
text: It is modified only by the process that may request or release a resource.
text: It is modified only by the process that may request or release a resource.