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