Assertion: algorithm | /r/HasProperty | run
Facets:
Source sentences:
text: After this algorithm is run, the ending node will point to its predecessor, and so on, until some node's predecessor is the start node.