Assertion: heptagon | /r/HasSubgroup | convex heptagon
Facets:
Source sentences: