correspondence


INSTANCE correspondence#1;
	frame1 = list_type#23;
	frame2 = list_type#24;
	semantic_equivalence = semantic_equivalence(frame2_stronger);
END_INSTANCE;

INSTANCE correspondence#2;
	frame1 = built_in_constant#97;
	frame2 = built_in_constant#98;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

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

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