equation


INSTANCE equation#1;
	extracted_from = {binary_operation#18};
	equals = {?x, ?y};
END_INSTANCE;

INSTANCE equation#2;
	extracted_from = {derived_attribute#1};
	equals = {derived_attribute#1, ?z};
END_INSTANCE;


INSTANCE equation#3;
	equals = {binary_operation#19, ?z};
END_INSTANCE;



INSTANCE equation#4;
	equals = {binary_operation#20, ?x};
END_INSTANCE;



INSTANCE equation#5;
	equals = {binary_operation#21, ?z};
END_INSTANCE;



INSTANCE equation#6;
	equals = {binary_operation#22, ?x};
END_INSTANCE;


INSTANCE equation#7;
	extracted_from = {derived_attribute#3};
	conjunct_of = conjunction#3;
	equals = {derived_attribute#3, binary_operation#27};
END_INSTANCE;

INSTANCE equation#8;
	extracted_from = {derived_attribute#2};
	conjunct_of = conjunction#9;
	equals = {derived_attribute#2, binary_operation#23};
END_INSTANCE;