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#8};
	multiplicands = {derived_attribute#2, built_in_function_call#2};
	product = user_function_call#1;
END_INSTANCE;