case_frame
INSTANCE case_frame#1;
problem = binary_operation#1;
solution = conjunction#1;
END_INSTANCE;
INSTANCE case_frame#2;
problem = binary_operation#2;
solution = bound#1;
END_INSTANCE;
INSTANCE case_frame#3;
problem = binary_operation#3;
solution = bound#2;
END_INSTANCE;
INSTANCE case_frame#4;
problem = binary_operation#4;
solution = bound#3;
END_INSTANCE;
INSTANCE case_frame#5;
problem = binary_operation#5;
solution = bound#4;
END_INSTANCE;
INSTANCE case_frame#6;
problem = binary_operation#6;
solution = bound#5;
END_INSTANCE;
INSTANCE case_frame#7;
problem = binary_operation#7;
solution = bound#6;
END_INSTANCE;
INSTANCE case_frame#8;
problem = binary_operation#8;
solution = bound#7;
END_INSTANCE;
INSTANCE case_frame#9;
problem = binary_operation#9;
solution = bound#8;
END_INSTANCE;
INSTANCE case_frame#10;
problem = binary_operation#10;
solution = bound#9;
END_INSTANCE;
INSTANCE case_frame#11;
problem = binary_operation#11;
solution = bound#10;
END_INSTANCE;
INSTANCE case_frame#12;
problem = binary_operation#12;
solution = bound#11;
END_INSTANCE;
INSTANCE case_frame#13;
problem = binary_operation#13;
solution = bound#12;
END_INSTANCE;
INSTANCE case_frame#14;
problem = binary_operation#14;
solution = bound#13;
END_INSTANCE;
INSTANCE case_frame#15;
problem = binary_operation#15;
solution = bound#14;
END_INSTANCE;
INSTANCE case_frame#16;
problem = binary_operation#16;
solution = bound#15;
END_INSTANCE;
INSTANCE case_frame#17;
problem = binary_operation#17;
solution = bound#16;
END_INSTANCE;
INSTANCE case_frame#18;
problem = explicit_attribute#101;
solution = exactly_one#1;
END_INSTANCE;
INSTANCE case_frame#19;
problem = entity_type#42;
solution = exactly_one#2;
END_INSTANCE;
INSTANCE case_frame#20;
problem = explicit_attribute#102;
solution = exactly_one#3;
END_INSTANCE;
INSTANCE case_frame#21;
problem = explicit_attribute#103;
solution = at_most_one#1;
END_INSTANCE;
INSTANCE case_frame#22;
problem = entity_type#43;
solution = at_most_one#2;
END_INSTANCE;
INSTANCE case_frame#23;
problem = explicit_attribute#104;
solution = at_most_one#3;
END_INSTANCE;
INSTANCE case_frame#24;
problem = conjunction#2;
solution = range#1;
END_INSTANCE;
INSTANCE case_frame#25;
problem = explicit_attribute#105;
solution = non_null#1;
END_INSTANCE;
INSTANCE case_frame#26;
problem = built_in_function_call#1;
solution = non_null#2;
END_INSTANCE;
INSTANCE case_frame#27;
problem = binary_operation#18;
solution = equation#1;
END_INSTANCE;
INSTANCE case_frame#28;
problem = derived_attribute#1;
solution = equation#2;
END_INSTANCE;
INSTANCE case_frame#29;
problem = equation#3;
solution = adder#1;
END_INSTANCE;
INSTANCE case_frame#30;
problem = equation#4;
solution = adder#2;
END_INSTANCE;
INSTANCE case_frame#31;
problem = equation#5;
solution = multiplier#1;
END_INSTANCE;
INSTANCE case_frame#32;
problem = equation#6;
solution = multiplier#2;
END_INSTANCE;
INSTANCE case_frame#33;
problem = explicit_attribute#107;
solution = zero_or_more#1;
END_INSTANCE;
INSTANCE case_frame#34;
problem = explicit_attribute#108;
solution = zero_or_more#2;
END_INSTANCE;