Assertion list
electric kettle (subgroup of kettle ) → HasA
Results from Ascent++: 1
electric kettle → HasA → a heating element 0.25