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

        public void testQuantifiedSentenceWithTwoVariables()
        {
            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());
        }