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