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