Assertion: graph's vertex | /r/HasProperty | path
Facets:
value: from u
type: LOCATION
Source sentences:
text: In an undirected graph, a vertex v is reachable from a vertex u if there is a path from u to v.