Assertion: semaphore's counter | /r/HasProperty | initialized by the constructor
Facets:
Source sentences:
text: A counting_semaphore contains an internal counter initialized by the constructor.