Assertion: graph's vertex | /r/HasProperty | repeated
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)
text: is a walk, where no vertex is repeated (each vertex is used at most once)
text: Then, at least one vertex is repeated (used twice).