Assertion: semaphore's counter | /r/CapableOf | reach the limit
Facets:
Source sentences:
text: The thread (or threads) that activates once the counter reaches the limit would wait on the condition variable.