INSTANCE multiplier#1;
extracted_from = {equation#5};
covers = equation#5;
multiplicands = ?multiplicands;
product = expression#7;
END_INSTANCE;
INSTANCE multiplier#2;
extracted_from = {equation#6};
covers = equation#6;
multiplicands = {expression#8, ?y};
product = ?z;
END_INSTANCE;
INSTANCE multiplier#3; multiplicands = ?multiplicands; product = ?product; END_INSTANCE;