Assertion: algorithm's output | /r/HasProperty | tree
Facets:
Source sentences:
text: The output Y of Prim's algorithm is a tree, because the edge and vertex added to tree Y are connected.