Assertion: semaphore's count | /r/HasProperty | lowered
Facets:
Source sentences:
text: When more resources are added, the count value is incremented and when the number of resources is decreased, the count is lowered.