private void ruleR_top() {
		// TODO Auto-generated method stub
//		if(RHS instanceof REL2ClassImpl && RHS.asREL2ClassImpl().getIRI().toString().equals("Generic_Goal"))
//			System.out.println();
		if(!LHS.getOriginalSuperClasses().contains(RHS))
			for(REXClassExpressionImpl context:factory.contexts)
				if(context.satisfiable)
				inferC_sub_D(context, RHS);
	}