Assertion list
proper pruning (subgroup of pruning ) → HasProperty
Results from Ascent++: 1
proper pruning → HasProperty → important 0.68