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;