multiplier
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#55};
multiplicands = {qualifier#954, qualifier#956};
product = binary_operation#1094;
END_INSTANCE;
INSTANCE multiplier#4;
extracted_from = {equation#144};
multiplicands = {qualifier#1113, qualifier#1115};
product = binary_operation#1289;
END_INSTANCE;
INSTANCE multiplier#5;
extracted_from = {equation#235};
multiplicands = {derived_attribute#11, qualifier#1239};
product = qualifier#1233;
END_INSTANCE;