private void ruleR_and_plus() {
		// TODO Auto-generated method stub
		for(REXClassExpressionImpl conjunct:RHS.Ands.keySet())
		{
			REXClassExpressionImpl and = RHS.Ands.get(conjunct);
			if(LHS.superClasses.contains(conjunct) && and.originalLHS)
				inferC_sub_D(LHS, and);
		}
	}