Assertion: level queue | /r/HasProperty | become empty
Facets:
Source sentences:
text: Only if the highest level queue has become empty will the scheduler take up a process from the next lower level queue.