Assertion: algorithm | /r/HasProperty | done
Facets:
Source sentences:
text: When the start node is the next node to be expanded, the algorithm is done, and the path to the goal can be found by simply following the backpointers.