Assertion: tree | /r/HasProperty | every vertex of g
Facets:
Source sentences:
text: It is a spanning tree of a graph G if it spans G (that is, it includes every vertex of G) and is a subgraph of G (every edge in the tree belongs to G).