Assertion: graph's cycle | /r/CapableOf | span all vertices of the graph
Facets:
Source sentences:
text: A 2-factor is a collection of cycles that spans all vertices of the graph.