Assertion: queue's method | /r/HasProperty | done
Facets:
Source sentences:
text: If the child and parent are in order with regard to a binary heap (child priority value is greater than or equal to the parent priority), then the method is done.