Assertion: semaphore's value | /r/HasProperty | certain
Facets:
Source sentences:
text: A semaphore is created with a certain value for its counter.