Assertion: semaphore's count | /r/HasProperty | increased
Facets:
value: from 0
type: OTHER
Source sentences:
text: If someone requests a room and the current value of the semaphore is 0, they are forced to wait until a room is freed (when the count is increased from 0).