Assertion: graph's path | /r/HasProperty | pursued
Facets:
value: no further
type: MANNER
Source sentences:
text: If the vertex has already been visited, it is ignored and the path is pursued no further; otherwise, the algorithm checks/updates the vertex and continues down its current path.