solvers.startPatternSolver( pattern );
solvers.startOperator( OperatorDescrType.AND );
solvers.addPatternComponent( r );
solvers.addPatternComponent( r2 );
solvers.endOperator();
solvers.endPatternSolver();
solvers.startNot();
solvers.startPatternSolver( pattern );
solvers.startOperator( OperatorDescrType.AND );
solvers.addPatternComponent( r3 );