Assertion list
slot toaster (subgroup of toaster ) → IsA
Results from Ascent++: 1
slot toaster → IsA → great choice 0.59