Assertion list
outer surface (subgroup of surface ) → IsA

Results from Ascent++: 1
outer surfaceIsA the surface 0.57