Assertion: graph's cycle | /r/HasProperty | chordless
Facets:
value: necessarily
type: DEGREE
Source sentences:
text: The girth of a graph is the length of its shortest cycle; this cycle is necessarily chordless.