Assertion list
cop (aspect of heat pump ) → HasProperty
Results from Ascent++: 1
cop → HasProperty → greater than 1 0.32