diff -r 000000000000 -r feede61efa96 paper/src/atccl_ebnf_2.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/src/atccl_ebnf_2.txt	Fri Jun 04 13:48:28 2010 +0200
@@ -0,0 +1,37 @@
+term                   = term AND term
+term                   = NOT term
+term                   = "(" term ")"
+int_op                 = IS
+int_op                 = IS NOT
+int_op                 = GREATER THAN
+int_op                 = LESS THAN
+string_op              = IS
+string_op              = IS NOT
+string_array_op        = IS
+string_array_op        = IS NOT
+string_array_op        = IN
+string_array_op        = NOT IN
+string_string_array_op = IN
+string_string_array_op = NOT IN
+int_array              = "[" ints "]"
+ints                   =
+ints                   = ints "," int
+ints                   = ints int
+int                    = INTEGER
+string_array           = "[" strings "]"
+strings                =
+strings                = strings "," string
+strings                = strings string
+int_pt                 = TAS
+char_pt                = FTYP
+string_pt              = ADEP
+string_pt              = ADES
+string_pt              = RWY
+string_pt              = ATYP
+string_pt              = COPX
+string_pt              = FRUL
+string_pt              = RFL
+string_pt              = TRAVEL_TYPE
+string_array_pt        = ROUTE
+char_array_pt          = EQUIP
+string                 = QUOTE STRING QUOTE