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;