Assertion list
new cavity (subgroup of cavity ) → CapableOf

Results from Ascent++: 1
new cavityCapableOf form on the root surfaces 0.68