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;