Assertion: tree | /r/HasProperty | connected undirected graph
Facets:
value: with no cycles
type: OTHER
Source sentences:
text: A tree is a connected undirected graph with no cycles.