Assertion: graph's edge | /r/HasProperty | repeated
Facets:
Source sentences:
text: A u-v trail is a u-v walk, where no edge is repeated (each edge is used at most once)
text: is a walk, where no edge is repeated (each edge is used at most once)