Assertion: graph's g | /r/HasProperty | a helly circular-arc graph
Facets:
Source sentences:
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.