:= VARS: RULES: := | := , := GOAL | INITIAL | ASKABLE | NOT_ASKABLE := "" | "" := | | := . | ! | @ | # | $ | % | ^ | & | * | ( | ) | { | } | [ | ] | ~ | < | > | ? | : | ; | \ | / | = | | | + | - | ' := | | , := , STATIC_LIST, 1 | , STATIC_LIST, 2 | , STATIC_LIST, 3 | . . . , STATIC_LIST, 255 ... := := := , BOOLEAN := , NUMERIC, := INITIAL | ASKABLE | NOT_ASKABLE := DEFAULT | := FROM TO := := := := := := | - := | := A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z | | _ := 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 := | := | := IF THEN := | := | OR := | AND := | | := = | != := TRUE | FALSE := := = | != | < | <= | > | >= := = | != := | , := := | - := | | | 1000 := | | := = := = := =