Assertion list
electric kettle (subgroup of kettle ) → IsA
Results from Ascent++: 1
electric kettle → IsA → kettle 0.35