public void testPLResolve4() { bool b = resolution.plResolution("(A OR B)", "B"); Assert.AreEqual(false, b); }