Assertion: semaphore's value | /r/HasProperty | based on the test
Facets:
Source sentences:
text: This means that the process that tests the value of a semaphore and sets it to a different value (based on the test), is guaranteed no other process will interfere with the operation in the middle.