Assertion: graph | /r/HasProperty | obtained
Facets:
value: from g
type: OTHER
value: by contracting some edges
type: MANNER
Source sentences:
text: An undirected graph H is a minor of another undirected graph G if a graph isomorphic to H can be obtained from G by contracting some edges, deleting some edges, and deleting some isolated vertices.