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