Assertion list for term "30 edges".
Results from Ascent++: 2
icosahedron → HasA → 30 edges 0.63
polyhedron → HasA → 30 edges 0.25