Assertion list for term "carve cavity".

Results from Ascent++: 1
massive star (subgroup of star) CapableOfcarve cavity 0.25