INSTANCE multiplier#4; extracted_from = {equation#9}; covers = equation#9; description = "the multiplicands are {student.average_mark, function_call#7}, and the product is function_call#6"; multiplicands = {explicit_attribute#324, function_call#7}; product = function_call#6; END_INSTANCE;