Assertion: semaphore's list | /r/HasProperty | empty
Facets:
Source sentences:
text: First of all we increment a counter of a semaphore if the list of waiters is empty.