Assertion: graph's edge | /r/HasProperty | edges of g
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 .