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