Assertion: tree | /r/HasAspect | unique spanning tree
Facets:
Source sentences:
text: If all of the edges of G are also edges of a spanning tree T of G, then G is a tree and is identical to T (that is, a tree has a unique spanning tree and it is itself).