Assertion: semaphore's constructor | /r/CapableOf | construct counting_semaphore
Facets:
Source sentences:
text: (constructor) constructs a counting_semaphore