Assertion list
dodecahedron (primary) → HasProperty

Results from Ascent++: 1
dodecahedronHasProperty the most complex solid 0.25