Assertion: semaphore's count | /r/HasProperty | negative
Facets:
Source sentences:
text: As the count is now negative (-1) the process cannot enter the critical region.
text: Suppose the initial count for a semaphore is 1, the first process to come along will see that the count is positive and decrement it by 1, making it 0.