Assertion: polygon's vertex | /r/CapableOf | touch the circle
Facets:
Source sentences:
text: Every polygon inscribed in a circle (such that all vertices of the polygon touch the circle), if not self-intersecting, is convex.