Assertion: semaphore's value | /r/HasProperty | initial
Facets:
Source sentences:
text: In his proposal the semaphore can have an initial value (or count) greater than one.