Assertion: graph's cycle | /r/HasProperty | closed path
Facets:
Source sentences:
text: A cycle is a closed path in which the first and last vertices are the same