Assertion list for term "solid bounded".

Results from Ascent++: 1
polyhedron IsAsolid bounded 0.34