Assertion list
filled doughnut (subgroup of doughnut ) → CapableOf
Results from Ascent++: 2
filled doughnut → CapableOf → dip into powdered sugar 0.28
filled doughnut → CapableOf → top off with frosting 0.25