private void ruleR_or() {
		// TODO Auto-generated method stub
		for(REXClassExpressionImpl or:RHS.Ors.values())
		{
			if(!LHS.superClasses.contains(or) && or.originalLHS)
				inferC_sub_D(LHS, or);
		}
	}