Assertion: directed graph | /r/HasProperty | transformed into dag
Facets:
Source sentences:
text: An arbitrary directed graph may also be transformed into a DAG, called its condensation, by contracting each of its strongly connected components into a single supervertex.