sig
  type clause = Term.clause
  val to_clauses_from_string : string -> Read_tme.clause list
  val to_clauses_from_file : string -> Read_tme.clause list
  val to_clause : string -> Read_tme.clause
end