Assertion: graph's g | /r/CapableOf | remove edge
Facets:
value: to the vertex
type: TRANSITIVE-OBJECT
value: from the vertex
type: LOCATION
value: between them
type: LOCATION
Source sentences:
text: The contraction G / u v {\displaystyle G/uv} of a graph G is the graph obtained by identifying the vertices u and v, and removing any edges between them.
text: remove_edge ( G , x , y ): removes the edge from the vertex x to the vertex