Assertion: graph's vertex | /r/HasProperty | non-backtracking walk
Facets:
Source sentences:
text: Each vertex of T is a non-backtracking walk that begins from r, that is, a sequence w =