sig
  val prelude : UntypedAST.statement list
  type general_data =
      Var of string
    | Int of int
    | String of string
    | App of string * UntypedAST.TPTP.general_data list
    | List of UntypedAST.TPTP.general_data list
    | Column of UntypedAST.TPTP.general_data * UntypedAST.TPTP.general_data
end