Assertion list for term "engage inner curved surface".
Results from Ascent++: 1
outer surface (subgroup of surface) → CapableOf → engage inner curved surface 0.42