Assertion: semaphore | /r/HasSubevent | value
Facets:
Source sentences:
text: In the P operation, the semaphore's value must be positive just before it is decremented (resulting in a value that is guaranteed to be nonnegative and one less than what it was before it was decremented).