Assertion list
summer pruning (subgroup of pruning ) → CapableOf
Results from Ascent++: 1
summer pruning → CapableOf → remove leave 0.59