Assertion list
polyhedron (primary) → HasA
Results from Ascent++: 6
polyhedron → HasA → face 0.48
polyhedron → HasA → vertex 0.48
polyhedron → HasA → 12 vertices 0.34
polyhedron → HasA → at least one image thereon 0.34
polyhedron → HasA → 30 edges 0.25
polyhedron → HasA → the wythoff symbol 0.25