correspondence


INSTANCE correspondence#1;
	frame1 = type_hlc#5;
	frame2 = type_hlc#6;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#2;
	frame1 = non_null#4;
	frame2 = non_null#5;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#3;
	frame1 = domain_rules_hlc#5;
	frame2 = domain_rules_hlc#4;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#4;
	frame1 = domain_rule#3;
	frame2 = domain_rule#4;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#5;
	frame1 = interval#2;
	frame2 = interval#3;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#6;
	frame1 = integer_literal#100;
	frame2 = integer_literal#102;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#7;
	frame1 = integer_literal#101;
	frame2 = integer_literal#103;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;