private void ruleR_forall_1()	{
			// A \sub \some r.B
			// A \sub C
			// => r \sub is, \some s.C \sub D, (B \and D) in O
			// A \sub \some r.(B \and D)
	
			if(RHSFiller == factory.top)
				if(RHSrole.getInversePropertyExpression() != null)
					for(REXObjectPropertyExpressionImpl s:RHSrole.getInversePropertyExpression().getSuperRoles())
						for(REXClassExpressionImpl C:LHS.superClasses)
						{
							REXObjectSomeValuesFromImpl somesC = factory.testREXObjectSomeValuesFrom(s, C);
							if(somesC != null)
							{
								for(REXClassExpressionImpl D:somesC.getOriginalSuperClasses())
									if(D != somesC)
										// ruleR_forall_*_1
										inferNewC_sub_r_D(LHS, RHSrole, D, true);
							}
						}
	
		}