Assertion: semaphore's count | /r/HasProperty | 0
Facets:
Source sentences:
text: However, If the count is > 0, the semaphore is created in the available state, and the number of tokens it has equals to its count.