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

        public void testQuantifiedSentenceWithPathologicalParanthising()
        {
            Sentence qs = parser
                    .parse("(( (EXISTS x,y  (King(x) AND (BrotherOf(x) = y)) ) ))");
            List<Variable> vars = new List<Variable>();
            vars.Add(new Variable("x"));
            vars.Add(new Variable("y"));
            ConnectedSentence cse = new ConnectedSentence("AND",
                    getKingPredicate(new Variable("x")), new TermEquality(
                            getBrotherOfFunction(new Variable("x")), new Variable(
                                    "y")));
            Assert.AreEqual(qs.ToString(), new QuantifiedSentence("EXISTS", vars, cse).ToString());
        }