correspondence
INSTANCE correspondence#1;
frame1 = oneof_supertype_expression#26;
frame2 = oneof_supertype_expression#31;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#2;
frame1 = set_type#71;
frame2 = set_type#101;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#3;
frame1 = integer_literal#101;
frame2 = integer_literal#135;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#4;
frame1 = built_in_constant#98;
frame2 = built_in_constant#132;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#5;
frame1 = set_type#72;
frame2 = set_type#94;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#6;
frame1 = oneof_supertype_expression#27;
frame2 = oneof_supertype_expression#36;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#7;
frame1 = set_type#73;
frame2 = set_type#95;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#8;
frame1 = integer_literal#104;
frame2 = integer_literal#127;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#9;
frame1 = built_in_constant#101;
frame2 = built_in_constant#124;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#10;
frame1 = set_type#74;
frame2 = set_type#96;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#11;
frame1 = integer_literal#105;
frame2 = integer_literal#128;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#12;
frame1 = built_in_constant#102;
frame2 = built_in_constant#125;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#16;
frame1 = set_type#70;
frame2 = set_type#98;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#17;
frame1 = integer_literal#100;
frame2 = integer_literal#132;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#18;
frame1 = built_in_constant#97;
frame2 = built_in_constant#129;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#16;
frame1 = integer_literal#106;
frame2 = integer_literal#126;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#17;
frame1 = built_in_constant#103;
frame2 = built_in_constant#123;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#18;
frame1 = set_type#75;
frame2 = set_type#97;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#19;
frame1 = oneof_supertype_expression#30;
frame2 = oneof_supertype_expression#35;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#20;
frame1 = set_type#76;
frame2 = set_type#92;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#21;
frame1 = integer_literal#107;
frame2 = integer_literal#131;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#22;
frame1 = built_in_constant#104;
frame2 = built_in_constant#128;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#23;
frame1 = set_type#77;
frame2 = set_type#93;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#24;
frame1 = integer_literal#108;
frame2 = integer_literal#129;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#25;
frame1 = built_in_constant#105;
frame2 = built_in_constant#126;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#26;
frame1 = integer_literal#109;
frame2 = integer_literal#130;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#27;
frame1 = built_in_constant#106;
frame2 = built_in_constant#127;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#28;
frame1 = optional_xor_empty_aggregation#6;
frame2 = optional_xor_empty_aggregation#11;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#29;
frame1 = optional_xor_empty_aggregation#7;
frame2 = optional_xor_empty_aggregation#12;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#30;
frame1 = optional_xor_empty_aggregation#8;
frame2 = optional_xor_empty_aggregation#14;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#31;
frame1 = optional_xor_empty_aggregation#9;
frame2 = optional_xor_empty_aggregation#16;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#32;
frame1 = optional_xor_empty_aggregation#10;
frame2 = optional_xor_empty_aggregation#18;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#37;
frame1 = choice_set#14;
frame2 = choice_set#30;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#38;
frame1 = set_type#78;
frame2 = set_type#90;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#39;
frame1 = integer_literal#110;
frame2 = integer_literal#123;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#40;
frame1 = built_in_constant#107;
frame2 = built_in_constant#120;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#41;
frame1 = list_type#25;
frame2 = list_type#26;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#42;
frame1 = integer_literal#111;
frame2 = integer_literal#124;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#43;
frame1 = built_in_constant#108;
frame2 = built_in_constant#121;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#43;
frame1 = choice_set#12;
frame2 = choice_set#29;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#44;
frame1 = optional_xor_empty_aggregation#5;
frame2 = optional_xor_empty_aggregation#21;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#42;
frame1 = choice_set#11;
frame2 = choice_set#19;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#43;
frame1 = optional_xor_empty_aggregation#19;
frame2 = optional_xor_empty_aggregation#22;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#44;
frame1 = list_type#23;
frame2 = list_type#29;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#45;
frame1 = integer_literal#102;
frame2 = integer_literal#170;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#46;
frame1 = built_in_constant#99;
frame2 = built_in_constant#167;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#47;
frame1 = list_type#24;
frame2 = list_type#30;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#48;
frame1 = integer_literal#103;
frame2 = integer_literal#171;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#49;
frame1 = built_in_constant#100;
frame2 = built_in_constant#168;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#50;
frame1 = choice_set#35;
frame2 = choice_set#40;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#51;
frame1 = choice_set#21;
frame2 = choice_set#37;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#52;
frame1 = optional_xor_empty_aggregation#20;
frame2 = optional_xor_empty_aggregation#45;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#53;
frame1 = one_to_one_relationship#3;
frame2 = one_to_one_relationship#4;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#54;
frame1 = one_to_many_relationship#5;
frame2 = one_to_many_relationship#9;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#55;
frame1 = one_to_many_relationship#4;
frame2 = one_to_many_relationship#7;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#56;
frame1 = bag_type#11;
frame2 = bag_type#16;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#57;
frame1 = integer_literal#117;
frame2 = integer_literal#174;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#58;
frame1 = built_in_constant#114;
frame2 = built_in_constant#171;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#59;
frame1 = bag_type#12;
frame2 = bag_type#17;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#60;
frame1 = integer_literal#118;
frame2 = integer_literal#175;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#61;
frame1 = built_in_constant#115;
frame2 = built_in_constant#172;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#62;
frame1 = choice_set#55;
frame2 = choice_set#56;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#63;
frame1 = optional_xor_empty_aggregation#5;
frame2 = optional_xor_empty_aggregation#46;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#64;
frame1 = set_type#76;
frame2 = set_type#130;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#65;
frame1 = integer_literal#107;
frame2 = integer_literal#173;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#66;
frame1 = built_in_constant#104;
frame2 = built_in_constant#170;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;