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