signature KEYWORD =
  sig
  val alphas: string list
  and symbols: string list
  end;

functor KEYWORD() =
struct
val alphas = [
	      "define","domain","axioms", "and","types","constants",
	      "relations","facts","predicates","not", "or", "imply","iff",
	      "exists","forall", "either","object"
	     ]
val symbols = ["(",")",":","?","-", "<"]

end ;