Assertion: acyclic graph | /r/HasProperty | formed
Facets:
Source sentences:
text: It is formed by contracting each strongly connected component of the blue graph into a single yellow vertex.