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