Assertion: graph's edge | /r/HasProperty | part of cycles
Facets:
Source sentences:
text: the back edges which DFS skips over are part of cycles.