correspondence


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

INSTANCE correspondence#2;
	frame1 = type_hlc#6;
	frame2 = type_hlc#10;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

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

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

INSTANCE correspondence#5;
	frame1 = choice_set#7;
	frame2 = choice_set#8;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

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

INSTANCE correspondence#7;
	frame1 = domain_rules_hlc#5;
	frame2 = domain_rules_hlc#6;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;