Assertion: connected graph | /r/CapableOf | admit spanning tree
Facets:
Source sentences:
text: Every connected graph G admits a spanning tree, which is a tree that contains every vertex of G and whose edges are edges of G .