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