... to functional features, which supports conjugacy-based reasoning at a higher level of abstraction. Through the example of a system-level function model of a geothermal heat pump (GHP)operating in its heating and cooling modes, this paper demonstrates the ability to support modal reasoning on function models...