Assertion: counting semaphore | /r/HasProperty | initialized with given number of permits
Facets:
Source sentences:
text: The counting semaphore is initialized with a given number of "permits".