Assertion list
polyhedron (primary) → HasProperty
Results from Ascent++: 2
polyhedron → HasProperty → convex 0.84
polyhedron → HasProperty → uniform 0.34