Assertion: semaphore | /r/HasProperty | decremented in row
Facets:
Source sentences:
text: Now this semaphore can be decremented maximum five times in a row until counter reaches to 0.