INSTANCE multiplier#1; extracted_from = {equation#5}; multiplicands = {?x, ?y}; product = ?z; END_INSTANCE;
INSTANCE multiplier#2; extracted_from = {equation#6}; multiplicands = {?x, ?y}; product = ?z; END_INSTANCE;
INSTANCE multiplier#3; extracted_from = {equation#8}; multiplicands = {derived_attribute#2, built_in_function_call#2}; product = user_function_call#1; END_INSTANCE;