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