Assertion list
body (aspect of seal ) → HasA
Results from Ascent++: 2
body → HasA → first surface 0.55
body → HasA → cavity 0.34