Assertion: hexagon | /r/HasSubgroup | polar hexagon
Facets:
Source sentences: