Assertion list
convection oven (subgroup of oven ) → IsA
Results from Ascent++: 1
convection oven → IsA → oven 0.42