Assertion: graph's g | /r/HasProperty | connected cycle
Facets:
Source sentences:
text: G is connected and acyclic (contains no cycles).