Assertion list
summer pruning (subgroup of pruning ) → IsA
Results from Ascent++: 1
summer pruning → IsA → the easiest way 0.59