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;