private void ruleR_min_2() {
		// TODO Auto-generated method stub
		for(REXObjectPropertyExpressionImpl role:LHS.predecessors.keySet())
			for(REXClassExpressionImpl pred:LHS.predecessors.get(role))
				if(pred.implications.containsKey(role) && pred.implications.get(role).contains(LHS))
		cardinTestSimple2(pred, role, LHS, RHS);
	}