Assertion: polyhedron's polygon | /r/HasProperty | half-edges
Facets:
Source sentences:
text: Moreover, ortho is compatible with dual superimposition over k-uniform tilings only because regular polygons are symmetric about any edge perpendicular bisector, and each regular polygon only shares up to a single edge with any other regular polygon (no half-edges).