Assertion list
icosahedron (primary) → HasA
Results from Ascent++: 3
icosahedron → HasA → 20 faces 0.68
icosahedron → HasA → 12 vertices 0.66
icosahedron → HasA → 30 edges 0.63