Assertion: queue's element | /r/AtLocation | top position
Facets:
value: always
type: TEMPORAL
Source sentences:
text: The priority_queue class orders its elements so that the largest element is always at the top position.