Assertion: semaphore's value | /r/CapableOf | equal the number of processes
Facets:
Source sentences:
text: If the value is positive,that value equals the number of processes that can issue a wait and immediately continue to execute.
text: The negative value equals the number of processes waiting to be unblocked.