Assertion list
pop toaster (subgroup of toaster ) → CapableOf
Results from Ascent++: 1
pop toaster → CapableOf → make toast 0.68