public void testAtomicSentenceTrueParse()
{
AtomicSentence sen = (AtomicSentence)parser.parse("true");
Assert.AreEqual(typeof(TrueSentence), sen.GetType());
sen = (AtomicSentence)parser.parse("(true)");
Assert.AreEqual(typeof(TrueSentence), sen.GetType());
sen = (AtomicSentence)parser.parse("((true))");
Assert.AreEqual(typeof(TrueSentence), sen.GetType());
}