Assertion: given semaphore | /r/HasAspect | predefined maximum count
Facets:
Source sentences:
text: A given semaphore has a predefined maximum count, and a current count.