assertTrue("No solutions.", tqr.hasNext()); assertTrue(bob.equals(x) || alice.equals(x)); if (bob.equals(x)) { f.createLiteral("Bob").equals(y);
assertTrue("No solutions.", tqr.hasNext()); assertTrue(bob.equals(x) || alice.equals(x)); if (bob.equals(x)) { f.createLiteral("Bob").equals(y);