Assertion: semaphore | /r/CapableOf | decrement the counter
Facets:
Source sentences:
text: If the internal counter of the semaphore is greater than 0, the semaphore decrements the counter and allows access to the shared resource.