Assertion: directed graph | /r/HasAspect | cycle
Facets:
Source sentences:
text: An directed graph is a tree if it is connected and has no cycles.