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

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

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

            ps = parser.parse("(King(John) AND King(Saladin))");
            Assert.AreEqual(ps.ToString(), (new ConnectedSentence("AND",
                    getKingPredicate(new Constant("John")),
                    getKingPredicate(new Constant("Saladin")))).ToString());
        }