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;