Assertion: semaphore's state | /r/HasProperty | available
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.