public void testComplexSentence()
{
String p = "P";
String q = "Q";
m = m.extend(new Symbol(p), true);
m = m.extend(new Symbol(q), false);
Sentence sent = (Sentence)parser.parse("((P OR Q) AND (P => Q))");
Assert.IsFalse(m.isTrue(sent));
Assert.IsTrue(m.isFalse(sent));
Sentence sent2 = (Sentence)parser.parse("((P OR Q) AND (Q))");
Assert.IsFalse(m.isTrue(sent2));
Assert.IsTrue(m.isFalse(sent2));
}
}