public void run() {
			Query query = new Query("p", new Term[] { new Atom("a"), new Atom("a") });
			for (int i = 0; i < 10; ++i) {
				try {
					query.hasSolution();
				} catch (JPLException e) {
					System.out.println("Threaded p(a, a) threw exception: " + e);
					System.exit(1);
				}
				System.out.print(id_);
				Thread.yield();
			}
			for (int i = 0; i < 10; ++i) {
				try {
					while (query.hasMoreSolutions()) {
						Thread.yield();
						query.nextSolution();
					}
				} catch (JPLException e) {
					System.out.println("Threaded p(a, a) threw exception: " + e);
					System.exit(1);
				}
				System.out.print(id_);
			}
		}