Assertion: graph's g | /r/CapableOf | exist corresponding arc model
Facets:
Source sentences:
text: G {\displaystyle G} is a unit circular-arc graph if there exists a corresponding arc model such that each arc is of equal length.
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.
text: G {\displaystyle G} is a Helly circular-arc graph if there exists a corresponding arc model such that the arcs constitute a Helly family.