Assertion: semaphore's value | /r/CapableOf | become large
Facets:
Source sentences:
text: If the value would be less than zero, the process will wait for the value to become large enough so that the sum is at least zero.