private void ruleR_sub_2() {
		// TODO Auto-generated method stub
		// C \sub D = > C \sub E : D \sub E \in \O
		// context is the same as local context == LHS;
		if(RHS == factory.bottom)
		{
			LHS.satisfiable = false;
		}
//		else if(!factory.smallT)
		else{
						for(REXClassExpressionImpl E:RHS.getOriginalSuperClasses())
							inferC_sub_D(LHS, E);
			
//			for(REL2ClassExpressionImpl E:LHS.subClasses)
//				inferC_sub_D(E,RHS);
			
			if(factory.smallT && LHS.complement != null)
				for(REXClassExpressionImpl sup:LHS.complement.superClasses)
					if(sup.complement != null)
						if(RHS.complement != null)
							inferC_sub_D(RHS.complement, sup);
						else if(sup.complement != null)
							inferC_sub_D(sup.complement, RHS);
		}				
	}