Assertion list
compressor (aspect of heat pump ) → HasA
Results from Ascent++: 1
compressor → HasA → a operating life 0.25