public void testMultiArgPredicate()
{
lexer.setInput(" King(x,y)");
Assert.AreEqual(new Token((int)LogicTokenTypes.PREDICATE, "King"), lexer
.nextToken());
Assert.AreEqual(new Token((int)LogicTokenTypes.LPAREN, "("), lexer
.nextToken());
Assert.AreEqual(new Token((int)LogicTokenTypes.VARIABLE, "x"), lexer
.nextToken());
Assert.AreEqual(new Token((int)LogicTokenTypes.COMMA, ","), lexer
.nextToken());
Assert.AreEqual(new Token((int)LogicTokenTypes.VARIABLE, "y"), lexer
.nextToken());
Assert.AreEqual(new Token((int)LogicTokenTypes.RPAREN, ")"), lexer
.nextToken());
}