Assertion list
slice toaster (subgroup of toaster ) → HasA
Results from Ascent++: 1
slice toaster → HasA → a high-lift lever 0.25