Assertion: graph's cycle | /r/HasAspect | three vertices
Facets:
Source sentences:
text: Every such cycle has three vertices a, b, and c such that the three shortest paths wrap all the way around the cycle without having a common intersection.