Assertion list
yeti cooler (subgroup of cooler ) → HasProperty
Results from Ascent++: 3
yeti cooler → HasProperty → expensive 0.59
yeti cooler → HasProperty → perfect 0.16
yeti cooler → HasProperty → strong 0.16