public void testPLResolveWithTwoLiteralsMatching()
{
Sentence one = (Sentence)parser.parse("((NOT P21) OR B11)");
Sentence two = (Sentence)parser.parse("(((NOT B11) OR P21) OR P12)");
Sentence expected1 = (Sentence)parser
.parse("( ( P12 OR P21 ) OR ( NOT P21 ) )");
Sentence expected2 = (Sentence)parser
.parse("( ( B11 OR P12 ) OR ( NOT B11 ) )");
List<Sentence> resolvents = resolution.plResolve(one, two);
Assert.AreEqual(2, resolvents.Count);
Assert.IsTrue(resolvents.Contains(expected1));
Assert.IsTrue(resolvents.Contains(expected2));
}