%{
  static
    {
      Lexicon.reserved("Document");
      Lexicon.reserved("Base");
      Lexicon.reserved("Prefix");
      Lexicon.reserved("Import");
      Lexicon.reserved("Group");
      Lexicon.reserved("External");
      Lexicon.reserved("Exists");
      Lexicon.reserved("Forall");
      Lexicon.reserved("Or");
      Lexicon.reserved("And");
    }
%}

This file was generated on Mon Nov 17 15:35:41 PST 2008 from file Keywords.grm
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci