correspondence
INSTANCE correspondence#1;
frame1 = set_type#70;
frame2 = set_type#74;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#2;
frame1 = oneof_supertype_expression#26;
frame2 = oneof_supertype_expression#27;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#3;
frame1 = domain_rule#3;
frame2 = domain_rule#8;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#4;
frame1 = interval#2;
frame2 = interval#5;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#5;
frame1 = integer_literal#100;
frame2 = integer_literal#107;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#6;
frame1 = built_in_constant#97;
frame2 = built_in_constant#101;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#7;
frame1 = integer_literal#101;
frame2 = integer_literal#108;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#8;
frame1 = domain_rule#4;
frame2 = domain_rule#10;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#9;
frame1 = comparator#8;
frame2 = comparator#10;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#10;
frame1 = set_type#71;
frame2 = set_type#78;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#11;
frame1 = integer_literal#102;
frame2 = integer_literal#113;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#12;
frame1 = built_in_constant#98;
frame2 = built_in_constant#104;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#13;
frame1 = unique_rule#2;
frame2 = unique_rule#5;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#14;
frame1 = domain_rule#5;
frame2 = domain_rule#11;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#15;
frame1 = comparator#9;
frame2 = comparator#11;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#16;
frame1 = integer_literal#103;
frame2 = integer_literal#114;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#17;
frame1 = built_in_constant#99;
frame2 = built_in_constant#105;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#18;
frame1 = domain_rule#6;
frame2 = domain_rule#12;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#19;
frame1 = equation#8;
frame2 = equation#11;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#20;
frame1 = query_expression#4;
frame2 = query_expression#7;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#21;
frame1 = interval#3;
frame2 = interval#7;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#22;
frame1 = attribute_qualifier#1;
frame2 = attribute_qualifier#7;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#23;
frame1 = attribute_qualifier#2;
frame2 = attribute_qualifier#8;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#24;
frame1 = set_type#72;
frame2 = set_type#76;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#25;
frame1 = set_type#73;
frame2 = set_type#75;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#26;
frame1 = integer_literal#104;
frame2 = integer_literal#109;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#27;
frame1 = built_in_constant#100;
frame2 = built_in_constant#102;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#28;
frame1 = unique_rule#3;
frame2 = unique_rule#4;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#29;
frame1 = domain_rule#7;
frame2 = domain_rule#9;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#30;
frame1 = equation#9;
frame2 = equation#10;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#31;
frame1 = query_expression#5;
frame2 = query_expression#6;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#32;
frame1 = interval#4;
frame2 = interval#6;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#33;
frame1 = attribute_qualifier#3;
frame2 = attribute_qualifier#5;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#34;
frame1 = attribute_qualifier#4;
frame2 = attribute_qualifier#6;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#35;
frame1 = integer_literal#105;
frame2 = integer_literal#110;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#36;
frame1 = integer_literal#106;
frame2 = integer_literal#111;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;