Assertion: semaphore's value | /r/HasProperty | set to the number of available slots
Facets:
Source sentences:
text: Thus, the initial value of the sema *full semaphore in the order queue should be set to the number of available slots.