Assertion list
cooling fan (subgroup of fan ) → HasProperty
Results from Ascent++: 2
cooling fan → HasProperty → quiet 0.34
cooling fan → HasProperty → noisy 0.23