Assertion list
soft cooler (subgroup of cooler ) → HasProperty
Results from Ascent++: 1
soft cooler → HasProperty → perfect 0.59