Assertion: octahedron's vertex | /r/HasProperty | labelled with their schläfli symbols
Facets:
Source sentences:
text: Regular convex and star polygons with 3 to 12 vertices labelled with their Schläfli symbols