Assertion: semaphore's count | /r/HasProperty | permit
Facets:
Source sentences:
text: What the counter is counting are permits that allow access to the shared resource.