Assertion: semaphore's count | /r/HasProperty | created in unavailable state
Facets:
Source sentences:
text: If the initial count = 0, the counting semaphore should be created in the unavailable state.