private void ruleR_sub_1() {
		// TODO Auto-generated method stub
		// D \sub C, C \sub E = > D \sub E
		// context is the same as local context == RHS;
		if(LHS == factory.bottom)
			return;
		else
			//			for(REL2ClassExpressionImpl E:RHS.originalSuperClasses)
			//				inferC_sub_D(LHS, E);
			for(REXClassExpressionImpl E:RHS.superClasses)
				inferC_sub_D(LHS,E);

	}