Assertion: graph's vertex | /r/CapableOf | indicate back edge
Facets:
Source sentences:
text: In an undirected graph, the edge to the parent of a node should not be counted as a back edge, but finding any other already visited vertex will indicate a back edge.