Assertion: graph's path | /r/HasProperty | trail
Facets:
Source sentences:
text: A path is a trail in which all vertices (and therefore also all edges) are distinct.