Assertion: queue's element | /r/HasProperty | sorted into a priority queue
Facets:
Source sentences:
text: The semantics of priority queues naturally suggest a sorting method: insert all the elements to be sorted into a priority queue, and sequentially remove them; they will come out in sorted order.