private void ruleR_bot_2() {
		// TODO Auto-generated method stub
		if(RHS == factory.bottom)
			for(REXObjectPropertyExpressionImpl role:context.predecessors.keySet())
				for(REXClassExpressionImpl predecessor:context.predecessors.get(role))
				{
					inferC_sub_D(predecessor,factory.bottom);
				}
	}