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