Assertion list
cop (aspect of heat pump ) → IsA
Results from Ascent++: 1
cop → IsA → around 4.0 0.34