Assertion: graph's path | /r/CapableOf | join a sequence of vertices
Facets:
Source sentences:
text: In graph theory, a path in a graph is a finite or infinite sequence of edges which joins a sequence of vertices which, by most definitions, are all distinct (and since the vertices are distinct, so are the edges).