Assertion: graph's set | /r/CapableOf | form connected and acyclic subgraph
Facets:
Source sentences:
text: A spanning tree may be defined as a set of edges that, together with all of the vertices of the graph, forms a connected and acyclic subgraph.