AIMA.Test.Core.Unit.Logic.FOL.Parsing.FOLParserTest.testComplexConnectedSentence1 C# (CSharp) Method

        public void testComplexConnectedSentence1()
        {
            Sentence ps = parser
                    .parse("((King(John) AND NOT King(Richard)) OR King(Saladin))");

            Assert.AreEqual(ps.ToString(), (new ConnectedSentence("OR",
                    new ConnectedSentence("AND", getKingPredicate(new Constant(
                            "John")), new NotSentence(
                            getKingPredicate(new Constant("Richard")))),
                    getKingPredicate(new Constant("Saladin")))).ToString());
        }