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;