correspondence


INSTANCE correspondence#1;
	frame1 = set_type#70;
	frame2 = set_type#74;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#2;
	frame1 = integer_literal#103;
	frame2 = integer_literal#117;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#3;
	frame1 = built_in_constant#99;
	frame2 = built_in_constant#106;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#4;
	frame1 = domain_rule#6;
	frame2 = domain_rule#13;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#5;
	frame1 = equation#8;
	frame2 = equation#10;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#6;
	frame1 = query_expression#4;
	frame2 = query_expression#6;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#7;
	frame1 = interval#3;
	frame2 = interval#6;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#8;
	frame1 = attribute_qualifier#1;
	frame2 = attribute_qualifier#11;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#9;
	frame1 = attribute_qualifier#2;
	frame2 = attribute_qualifier#12;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#10;
	frame1 = bound#8;
	frame2 = bound#10;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#11;
	frame1 = bound#9;
	frame2 = bound#11;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#12;
	frame1 = range#4;
	frame2 = range#5;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#13;
	frame1 = type_hlc#5;
	frame2 = type_hlc#6;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#14;
	frame1 = non_null#4;
	frame2 = non_null#5;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#15;
	frame1 = for_all#3;
	frame2 = for_all#4;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#16;
	frame1 = set_type#72;
	frame2 = set_type#82;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#17;
	frame1 = domain_rule#3;
	frame2 = domain_rule#8;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#18;
	frame1 = interval#2;
	frame2 = interval#5;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#19;
	frame1 = integer_literal#100;
	frame2 = integer_literal#108;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#20;
	frame1 = built_in_constant#97;
	frame2 = built_in_constant#102;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#21;
	frame1 = integer_literal#101;
	frame2 = integer_literal#109;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#22;
	frame1 = set_type#73;
	frame2 = set_type#83;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#23;
	frame1 = integer_literal#104;
	frame2 = integer_literal#119;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#24;
	frame1 = built_in_constant#100;
	frame2 = built_in_constant#107;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#25;
	frame1 = unique_rule#3;
	frame2 = unique_rule#5;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#26;
	frame1 = domain_rule#7;
	frame2 = domain_rule#15;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#27;
	frame1 = equation#9;
	frame2 = equation#12;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#28;
	frame1 = query_expression#5;
	frame2 = query_expression#8;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#29;
	frame1 = interval#4;
	frame2 = interval#7;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#30;
	frame1 = attribute_qualifier#3;
	frame2 = attribute_qualifier#16;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#31;
	frame1 = attribute_qualifier#4;
	frame2 = attribute_qualifier#17;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#33;
	frame1 = type_hlc#7;
	frame2 = type_hlc#6;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#34;
	frame1 = set_type#73;
	frame2 = set_type#74;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#35;
	frame1 = integer_literal#104;
	frame2 = integer_literal#117;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#36;
	frame1 = built_in_constant#100;
	frame2 = built_in_constant#106;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#37;
	frame1 = non_null#6;
	frame2 = non_null#5;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#38;
	frame1 = type_hlc#13;
	frame2 = type_hlc#10;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#39;
	frame1 = type_hlc#14;
	frame2 = type_hlc#11;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#40;
	frame1 = type_hlc#8;
	frame2 = type_hlc#15;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#42;
	frame1 = bound#18;
	frame2 = bound#16;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#43;
	frame1 = bound#19;
	frame2 = bound#17;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#44;
	frame1 = range#9;
	frame2 = range#8;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#44;
	frame1 = type_hlc#9;
	frame2 = type_hlc#16;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#45;
	frame1 = non_null#10;
	frame2 = non_null#8;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#46;
	frame1 = non_null#7;
	frame2 = non_null#11;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#47;
	frame1 = domain_rules_hlc#8;
	frame2 = domain_rules_hlc#5;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#48;
	frame1 = domain_rules_hlc#4;
	frame2 = domain_rules_hlc#9;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#48;
	frame1 = bound#12;
	frame2 = bound#14;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#49;
	frame1 = bound#13;
	frame2 = bound#15;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#50;
	frame1 = range#6;
	frame2 = range#7;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#51;
	frame1 = type_hlc#5;
	frame2 = type_hlc#12;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#52;
	frame1 = set_type#70;
	frame2 = set_type#83;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#53;
	frame1 = integer_literal#103;
	frame2 = integer_literal#119;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#54;
	frame1 = built_in_constant#99;
	frame2 = built_in_constant#107;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#55;
	frame1 = type_hlc#7;
	frame2 = type_hlc#12;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#56;
	frame1 = non_null#4;
	frame2 = non_null#9;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#57;
	frame1 = non_null#6;
	frame2 = non_null#9;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#58;
	frame1 = integer_literal#105;
	frame2 = integer_literal#121;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#59;
	frame1 = integer_literal#106;
	frame2 = integer_literal#122;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#60;
	frame1 = type_hlc#17;
	frame2 = type_hlc#24;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#61;
	frame1 = type_hlc#18;
	frame2 = type_hlc#25;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#62;
	frame1 = type_hlc#19;
	frame2 = type_hlc#26;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#63;
	frame1 = type_hlc#20;
	frame2 = type_hlc#27;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#64;
	frame1 = type_hlc#21;
	frame2 = type_hlc#28;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#65;
	frame1 = set_type#71;
	frame2 = set_type#75;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#66;
	frame1 = integer_literal#102;
	frame2 = integer_literal#107;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#67;
	frame1 = built_in_constant#98;
	frame2 = built_in_constant#101;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#68;
	frame1 = non_null#12;
	frame2 = non_null#15;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#69;
	frame1 = non_null#13;
	frame2 = non_null#16;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#70;
	frame1 = domain_rules_hlc#12;
	frame2 = domain_rules_hlc#15;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#71;
	frame1 = domain_rules_hlc#12;
	frame2 = domain_rules_hlc#16;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#72;
	frame1 = domain_rules_hlc#12;
	frame2 = domain_rules_hlc#17;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#73;
	frame1 = domain_rules_hlc#12;
	frame2 = domain_rules_hlc#20;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#74;
	frame1 = domain_rules_hlc#12;
	frame2 = domain_rules_hlc#21;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#75;
	frame1 = domain_rules_hlc#13;
	frame2 = domain_rules_hlc#15;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#76;
	frame1 = domain_rules_hlc#13;
	frame2 = domain_rules_hlc#16;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#77;
	frame1 = domain_rules_hlc#13;
	frame2 = domain_rules_hlc#17;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#78;
	frame1 = domain_rules_hlc#13;
	frame2 = domain_rules_hlc#20;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#79;
	frame1 = domain_rules_hlc#13;
	frame2 = domain_rules_hlc#21;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#80;
	frame1 = domain_rules_hlc#14;
	frame2 = domain_rules_hlc#15;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#81;
	frame1 = domain_rules_hlc#14;
	frame2 = domain_rules_hlc#16;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#82;
	frame1 = domain_rules_hlc#14;
	frame2 = domain_rules_hlc#17;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#83;
	frame1 = domain_rules_hlc#14;
	frame2 = domain_rules_hlc#20;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#84;
	frame1 = domain_rules_hlc#14;
	frame2 = domain_rules_hlc#21;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#85;
	frame1 = choice_set#7;
	frame2 = choice_set#10;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#86;
	frame1 = choice_set#8;
	frame2 = choice_set#9;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#87;
	frame1 = type_hlc#37;
	frame2 = type_hlc#33;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#88;
	frame1 = type_hlc#38;
	frame2 = type_hlc#34;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#89;
	frame1 = type_hlc#39;
	frame2 = type_hlc#35;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#90;
	frame1 = type_hlc#40;
	frame2 = type_hlc#36;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#91;
	frame1 = type_hlc#41;
	frame2 = type_hlc#29;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#92;
	frame1 = type_hlc#42;
	frame2 = type_hlc#30;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#93;
	frame1 = type_hlc#43;
	frame2 = type_hlc#31;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#94;
	frame1 = type_hlc#44;
	frame2 = type_hlc#32;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#95;
	frame1 = optional_xor_empty_aggregation#3;
	frame2 = optional_xor_empty_aggregation#4;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#96;
	frame1 = unique_rule#2;
	frame2 = unique_rule#4;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#97;
	frame1 = type_hlc#45;
	frame2 = type_hlc#47;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#98;
	frame1 = type_hlc#46;
	frame2 = type_hlc#48;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#99;
	frame1 = non_null#21;
	frame2 = non_null#23;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#100;
	frame1 = non_null#22;
	frame2 = non_null#24;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#101;
	frame1 = domain_rules_hlc#29;
	frame2 = domain_rules_hlc#30;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;