Assertion list for term "12 vertices".
Results from Ascent++: 2
icosahedron → HasA → 12 vertices 0.66
polyhedron → HasA → 12 vertices 0.34