Assertion: semaphore's counter | /r/HasProperty | maintained by semaphore object
Facets:
Source sentences:
text: When a thread exits from the critical section, it must call the Release method to increment the counter maintained by semaphore object.