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;