public void testPLResolveWithNoLiteralMatching()
{
Sentence one = (Sentence)parser.parse("(A OR B)");
Sentence two = (Sentence)parser.parse("(C OR D)");
List<Sentence> resolvents = resolution.plResolve(one, two);
Assert.AreEqual(0, resolvents.Count);
}