split heat pump subgroup of heat pump, 2 assertions