Assertion list
regular pruning (subgroup of pruning ) → HasProperty
Results from Ascent++: 1
regular pruning → HasProperty → essential 0.59