Assertion: edge contraction | /r/CapableOf | merge the two vertices
Facets:
value: simultaneously
type: MANNER
Source sentences:
text: In graph theory, an edge contraction is an operation which removes an edge from a graph while simultaneously merging the two vertices that it previously joined.