Assertion: graph's vertex | /r/CapableOf | lie within w uv
Facets:
Source sentences:
text: Thus, each successive vertex on a shortest path between two vertices of W uv also lies within W uv , so W uv contains all shortest paths between its nodes, one of the definitions of convexity.