public void testAimaExample()
{
Sentence aimaEg = (Sentence)parser.parse("( B11 <=> (P12 OR P21))");
Sentence expected = (Sentence)parser
.parse(" ( ( ( NOT B11 ) OR ( P12 OR P21 ) ) AND ( ( B11 OR ( NOT P12 ) ) AND ( B11 OR ( NOT P21 ) ) ) )");
Sentence transformed = transformer.transform(aimaEg);
Assert.AreEqual(expected.ToString(), transformed.ToString());
}
}