Assertion: directed graph | /r/CapableOf | call condensation
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.