Assertion: queue's element | /r/HasAspect | same priority
Facets:
Source sentences:
text: In some implementations, if two elements have the same priority, they are served according to the order in which they were enqueued, while in other implementations, ordering of elements with the same priority is undefined.
text: If two elements have the same priority, they are served according to their order in the queue.