private void ruleR_and_minus() {
		// TODO Auto-generated method stub
		// C \sub D1 \and D2 => C \sub D1, C \sub D2
		// context is the same as local context = LHS;
		if(RHS instanceof REXObjectIntersectionOfImpl)
		{
			REXObjectIntersectionOfImpl and = (REXObjectIntersectionOfImpl) RHS;
			for(REXClassExpressionImpl conjunct:and.getEntities())
				inferC_sub_D(LHS, conjunct);				
		}
	}