Assertion: spanning tree | /r/HasAspect | given points
Facets:
value: as its vertices
type: OTHER
Source sentences:
text: For such an input, a spanning tree is again a tree that has as its vertices the given points.