let to_clauses_from_file (file_name: string) : clause list =
  let channel =
    Lexing.from_channel (open_in file_name)
  in
    try
      Parser_tptp.parse_file Lexer_tptp.token channel
    with
      | Parsing.Parse_error ->
          Lexer_tptp.parse_error ()