Assertion: graph's edge | /r/HasProperty | different
Facets:
Source sentences:
text: If all the edges (but no necessarily all the vertices) of a walk are different, then the walk is called a trail.