correspondence


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

INSTANCE correspondence#2;
	frame1 = comparator#8;
	frame2 = comparator#9;
	semantic_equivalence = semantic_equivalence(frame2_stronger);
END_INSTANCE;