Assertion list
second peak (subgroup of peak ) → HasProperty
Results from Ascent++: 1
second peak → HasProperty → treed 0.59