public void testQuantifiedSentenceWithSingleVariable()
{
Sentence qs = parser.parse("FORALL x King(x)");
List<Variable> vars = new List<Variable>();
vars.Add(new Variable("x"));
Assert.AreEqual(qs.ToString(), (new QuantifiedSentence("FORALL", vars,
getKingPredicate(new Variable("x")))).ToString());
}