--- a/src/lite/ITLNodeParser.java	Mon Jan 07 22:02:16 2008 +0900
+++ b/src/lite/ITLNodeParser.java	Tue Jan 08 02:15:16 2008 +0900
@@ -25,7 +25,7 @@
 		Token<Node> emptyToken = dict.reserve("empty",TokenID.Empty);
 		emptyNode = emptyToken.value = logicNodeFactory.emptyNode();
 		
-		parseCommand = new ITLCommander<Node>(lf);
+		parseCommand = new ITLCommander<Node>(lf,this);
 		
 			define("not(P)","~P");                               // not
 			define("P->Q","(not(P);Q))");                         // imply
@@ -71,6 +71,7 @@
 			
 			define("ex(N,Exp)","true",50,parseCommand);
 			define("def(Head,Body,Order)","true",50,parseCommand);
+			define("include(path)","true",50,parseCommand);
 
 	}
 
@@ -88,13 +89,15 @@
 		super.scanner = scanner;
 
 		dict.reserve("&",TokenID.Chop);
-		
-		
 		dict.reserve("@",TokenID.Next);
+		dict.reserve("proj",TokenID.Projection);
 		
 		dict.reserve("length",TokenID.Length);
+		dict.reserve("less",TokenID.Less);
 		dict.reserve("*",TokenID.Closure);
-		dict.reserve("proj",TokenID.Projection);
+		dict.reserve("ex",TokenID.Exec);
+		dict.reserve("include",TokenID.Include);
+		dict.reserve("def",TokenID.Define);
 	}
 
 	@Override
@@ -150,6 +153,10 @@
 		case Empty:
 		case Chop:
 		case Length:
+		case Less:
+		case Exec:
+		case Define:
+		case Include:
 		case Closure:
 		case Projection:
 			n = makeVariable(nextToken);
@@ -164,4 +171,5 @@
 	public ITLSolver emptyNode() {
 		return emptyNode;
 	}
+
 }