Assertion: graph's cycle | /r/HasProperty | non-empty directed trail
Facets:
Source sentences:
text: A directed cycle in a directed graph is a non-empty directed trail in which the only repeated vertices are the first and last vertices.