Assertion list
cooling pillow (subgroup of pillow ) → HasProperty
Results from Ascent++: 1
cooling pillow → HasProperty → useful 0.59