Assertion: tree's vertex | /r/HasProperty | connected to each other
Facets:
value: by multiple edges
type: OTHER
Source sentences:
text: In this formula, if the given graph G is a multigraph, or if a contraction causes two vertices to be connected to each other by multiple edges, then the redundant edges should not be removed, as that would lead to the wrong total.