Assertion list
dodecahedron (primary) → HasA
Results from Ascent++: 2
dodecahedron → HasA → 20 vertices 0.68
dodecahedron → HasA → 12 faces 0.52