diff -r 000000000000 -r feede61efa96 paper/src/atccl_operators.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/src/atccl_operators.txt	Fri Jun 04 13:48:28 2010 +0200
@@ -0,0 +1,6 @@
+int_op                 = "is" [ "not" ] 
+                         | ("greater" | "less") "than"
+string_op              = "is" [ "not" ]
+string_array_op        = "is" [ "not" ]
+                         | [ "not" ] "in"
+string_string_array_op = [ "not" ] "in"