multiplier



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;