Assertion: octagon | /r/HasProperty | the petrie polygon
Facets:
Source sentences:
text: The octagon is the Petrie polygon for these 12 higher-dimensional uniform polytopes, shown in these skew orthogonal projections of in A 7 , B 4 , and D 5 Coxeter planes.