Assertion: semaphore | /r/CapableOf | decrement the count
Facets:
Source sentences:
text: The problem is that the code as is possesses one of the necessary conditions for a deadlock - the process, attempting to decrement the semaphore simultaneously holds resources (it decrements the count) and attempts to acquire more resources (waits until the negative count becomes zero or positive).