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