Assertion: semaphore's value | /r/HasProperty | multiple
Facets:
Source sentences:
text: A counting semaphore has multiple values for count.
text: A counting semaphore can have multiple values.
text: A counting semaphore has multiple values for count.