Assertion: graph's g | /r/HasProperty | proper circular-arc graph
Facets:
Source sentences:
text: G {\displaystyle G} is a proper circular-arc graph (also known as a circular interval graph) if there exists a corresponding arc model such that no arc properly contains another.