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