<DEFAULT> TOKEN : {
<LEFT_PARENTHESIS: "(">
| <RIGHT_PARENTHESIS: ")">
| <LEFT_CURLY_BRACE: "{">
| <RIGHT_CURLY_BRACE: "}">
| <K_OPERATOR: "#K">
| <EQUALITY: "=">
| <NOTEQUALITY: "!=">
| <COMMA: ",">
| <START_SEQUENCE: "<">
| <END_SEQUENCE: ">">
| <NOT: "NOT" (<SPACE>)+>
| <AND: (<SPACE>)+ "AND" (<SPACE>)+>
| <OR: (<SPACE>)+ "OR" (<SPACE>)+>
| <IMPL: (<SPACE>)+ "IMPL" (<SPACE>)+>
| <EQUIV: (<SPACE>)+ "EQUIV" (<SPACE>)+>
| <FORALL: "FORALL" (<SPACE>)+>
| <EXISTS: "EXISTS" (<SPACE>)+>
| <QUERY: "QUE">
| <PROVIDER_UPDATE: "PUP">
| <PROVIDER_UPDATE_TRAN: "PTR">
| <VIEW_UPDATE: "VUP">
| <VIEW_UPDATE_TRAN: "VTR">
| <SEQUENCE: "SEQ">
| <#DIGIT: ["0"-"9"]>
| <BOOLEAN: "TRUE" | "FALSE">
| <CQESTRING: "\"" (<BIG_CHAR> | <SMALL_CHAR> | <DIGIT> | <SPACE> | <UNDERLINE> | <SPECIAL_CHAR>)+ "\"">
| <NUMBER: ("+" | "-")? (<DIGIT>)+>
| <PREDICATE: <RELATIONNAME> <LEFT_PARENTHESIS>>
| <RELATIONNAME: <SMALL_CHAR> (<SMALL_CHAR> | <UNDERLINE>)*>
| <B_STRING: (<BIG_CHAR>)+>
| <#BIG_CHAR: ["A"-"Z"] | "\u00c4" | "\u00d6" | "\u00dc" | "\u00df">
| <#SMALL_CHAR: ["a"-"z"] | "\u00e4" | "\u00f6" | "\u00fc">
| <#UNDERLINE: "_">
| <#SPECIAL_CHAR: "*" | "%" | "$" | "!" | "?" | "@" | "." | "," | "\u00a7" | "$" | "#" | "\'" | "+" | "/" | ":" | ";" | "~">
| <SPACE: " ">
}
|