Assertion: graph's cycle | /r/HasProperty | formed
Facets:
Source sentences:
text: G is acyclic, and a simple cycle is formed if any edge is added to G .
text: is acyclic, and a simple cycle is formed if any edge is added to .