%{
  static
    {
      Lexicon.reserved("Function");
      Lexicon.reserved("Relation");

      Lexicon.reserved("Exists");
      Lexicon.reserved("Forall");
      Lexicon.reserved("Or");
      Lexicon.reserved("And");
      Lexicon.reserved("Neg");
      Lexicon.reserved("Naf");
    }
%}

This file was generated on Sun Nov 05 17:49:41 EST 2006 from file Keywords.grm
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci