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#5;
	frame2 = non_null#4;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;