Assertion: ptolemaic graph | /r/HasProperty | graph
Facets:
Source sentences:
text: Ptolemaic graphs are graphs that are both chordal and distance hereditary.