Assertion: directed graph | /r/CapableOf | touch cycle
Facets:
Source sentences:
text: Any directed graph may be made into a DAG by removing a feedback vertex set or a feedback arc set, a set of vertices or edges (respectively) that touches all cycles.