Assertion: semaphore's queue | /r/HasProperty | ordered by priority
Facets:
Source sentences:
text: When processes have different priorities the queue may be ordered by priority, so that the highest priority process is taken from the queue first.