correspondence
INSTANCE correspondence#1;
frame1 = set_type#70;
frame2 = set_type#75;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#2;
frame1 = oneof_supertype_expression#26;
frame2 = oneof_supertype_expression#28;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#4;
frame1 = domain_rule#3;
frame2 = domain_rule#9;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#5;
frame1 = interval#2;
frame2 = interval#5;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#6;
frame1 = integer_literal#100;
frame2 = integer_literal#109;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#7;
frame1 = built_in_constant#97;
frame2 = built_in_constant#102;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#8;
frame1 = integer_literal#101;
frame2 = integer_literal#110;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#9;
frame1 = set_type#71;
frame2 = set_type#76;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#10;
frame1 = integer_literal#102;
frame2 = integer_literal#111;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#11;
frame1 = built_in_constant#98;
frame2 = built_in_constant#103;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#12;
frame1 = set_type#72;
frame2 = set_type#77;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#13;
frame1 = integer_literal#103;
frame2 = integer_literal#112;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#14;
frame1 = integer_literal#104;
frame2 = integer_literal#113;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#15;
frame1 = unique_rule#2;
frame2 = unique_rule#4;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#15;
frame1 = set_type#74;
frame2 = set_type#79;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#16;
frame1 = integer_literal#106;
frame2 = integer_literal#116;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#17;
frame1 = built_in_constant#100;
frame2 = built_in_constant#106;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#18;
frame1 = type_hlc#11;
frame2 = type_hlc#16;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#19;
frame1 = type_hlc#12;
frame2 = type_hlc#17;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#20;
frame1 = type_hlc#13;
frame2 = type_hlc#18;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#21;
frame1 = type_hlc#14;
frame2 = type_hlc#19;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#22;
frame1 = type_hlc#15;
frame2 = type_hlc#20;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#23;
frame1 = domain_rules_hlc#6;
frame2 = domain_rules_hlc#8;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#24;
frame1 = domain_rules_hlc#6;
frame2 = domain_rules_hlc#9;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#25;
frame1 = domain_rules_hlc#7;
frame2 = domain_rules_hlc#8;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#26;
frame1 = domain_rules_hlc#7;
frame2 = domain_rules_hlc#9;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#28;
frame1 = domain_rules_hlc#10;
frame2 = domain_rules_hlc#8;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#29;
frame1 = domain_rules_hlc#10;
frame2 = domain_rules_hlc#9;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#30;
frame1 = domain_rules_hlc#10;
frame2 = domain_rules_hlc#12;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#31;
frame1 = domain_rules_hlc#6;
frame2 = domain_rules_hlc#12;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#32;
frame1 = domain_rules_hlc#7;
frame2 = domain_rules_hlc#12;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#33;
frame1 = choice_set#9;
frame2 = choice_set#10;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#35;
frame1 = one_to_many_relationship#4;
frame2 = one_to_many_relationship#5;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#34;
frame1 = non_null#8;
frame2 = non_null#10;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#35;
frame1 = non_null#9;
frame2 = non_null#11;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#36;
frame1 = choice_set#7;
frame2 = choice_set#8;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#37;
frame1 = optional_xor_empty_aggregation#3;
frame2 = optional_xor_empty_aggregation#4;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#38;
frame1 = unique_rule#3;
frame2 = unique_rule#5;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#39;
frame1 = integer_literal#107;
frame2 = integer_literal#117;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#40;
frame1 = built_in_constant#101;
frame2 = built_in_constant#109;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#41;
frame1 = type_hlc#28;
frame2 = type_hlc#30;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#42;
frame1 = type_hlc#10;
frame2 = type_hlc#30;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#43;
frame1 = set_type#71;
frame2 = set_type#75;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#44;
frame1 = integer_literal#102;
frame2 = integer_literal#117;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#45;
frame1 = built_in_constant#98;
frame2 = built_in_constant#109;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#46;
frame1 = non_null#16;
frame2 = non_null#18;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#47;
frame1 = non_null#7;
frame2 = non_null#18;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#48;
frame1 = type_hlc#31;
frame2 = type_hlc#33;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#49;
frame1 = type_hlc#32;
frame2 = type_hlc#35;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#50;
frame1 = non_null#19;
frame2 = non_null#21;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#51;
frame1 = non_null#20;
frame2 = non_null#23;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#52;
frame1 = type_hlc#36;
frame2 = type_hlc#40;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#54;
frame1 = bound#10;
frame2 = bound#14;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#55;
frame1 = bound#11;
frame2 = bound#15;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#56;
frame1 = range#5;
frame2 = range#7;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#56;
frame1 = type_hlc#37;
frame2 = type_hlc#41;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#57;
frame1 = type_hlc#10;
frame2 = type_hlc#42;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#58;
frame1 = type_hlc#28;
frame2 = type_hlc#42;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#59;
frame1 = set_type#70;
frame2 = set_type#76;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#60;
frame1 = integer_literal#107;
frame2 = integer_literal#111;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#61;
frame1 = built_in_constant#101;
frame2 = built_in_constant#103;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#62;
frame1 = domain_rules_hlc#20;
frame2 = domain_rules_hlc#26;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#63;
frame1 = domain_rules_hlc#21;
frame2 = domain_rules_hlc#28;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#64;
frame1 = domain_rules_hlc#18;
frame2 = domain_rules_hlc#27;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#65;
frame1 = non_null#24;
frame2 = non_null#27;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#66;
frame1 = non_null#7;
frame2 = non_null#28;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#67;
frame1 = non_null#16;
frame2 = non_null#28;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#68;
frame1 = one_to_many_relationship#6;
frame2 = one_to_many_relationship#7;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#69;
frame1 = one_to_one_relationship#3;
frame2 = one_to_one_relationship#4;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#70;
frame1 = domain_rule#8;
frame2 = domain_rule#15;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#71;
frame1 = equation#10;
frame2 = equation#12;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#72;
frame1 = function_call#4;
frame2 = function_call#11;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#73;
frame1 = aggregation_type#3;
frame2 = aggregation_type#3;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#74;
frame1 = integer_literal#108;
frame2 = integer_literal#118;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;