Assertion: semaphore's value | /r/CapableOf | equal some number
Facets:
Source sentences:
text: A set operation first checks if the semaphore's value equals some number.