Assertion: way | /r/HasProperty | girth
Facets:
Source sentences:
text: Length is used to define the shortest path, girth (shortest cycle length), and longest path between two vertices in a graph.