Assertion list
proper pruning (subgroup of pruning ) → IsA
Results from Ascent++: 1
proper pruning → IsA → art 0.41