public void process(){
//				timer.start();
		while(factory.consistency)
		{
			context = activecontexts.poll();
			if(context == null)
				break;
			while(factory.consistency && context.satisfiable)
			{
				//				if(context.toString().equals("SauvignonBlancGrape"))
				//					System.out.println();
//				if(!context.localSchedule.isEmpty())
//					axiom = context.localSchedule.poll();
//				else
					axiom = context.schedulePoll();
				if(axiom == null)
					break;
				processAxiom();
			}
			reasoner.deactivateContext(context);
		}
//				timer.stop();
//				System.out.println(timer);
	}