Assertion: tree's root node | /r/HasProperty | inserted into the priority queue
Facets:
Source sentences:
text: The root node is inserted into the priority queue.