Assertion: graph | /r/HasProperty | chordal
Facets:
value: as for this part
type: OTHER
Source sentences:
text: As for this part, the graph is chordal.
text: A graph is chordal if and only if it has a perfect elimination ordering.