Assertion: graph's g | /r/HasProperty | arbitrary graph
Facets:
Source sentences:
text: If G is an arbitrary graph, a chordal completion of G (or minimum fill-in) is a chordal graph that contains G as a subgraph.