Assertion: semaphore | /r/CapableOf | become unlocked
Facets:
Source sentences:
text: If the semaphore value resulting from this operation is positive, then no threads were blocked waiting for the semaphore to become unlocked; the semaphore value is simply incremented.