Assertion: semaphore | /r/HasAspect | initial value
Facets:
value: in his proposal
type: OTHER
Source sentences:
text: In his proposal the semaphore can have an initial value (or count) greater than one.