Assertion list
slice toaster (subgroup of toaster ) → CapableOf
Results from Ascent++: 1
slice toaster → CapableOf → give some flexibility 0.25