let to_clauses_from_string (source: string) : clause list =
  let channel =
    Lexing.from_string source
  in
    try
      Parser_tptp.parse_file Lexer_tptp.token channel
    with
      | Parsing.Parse_error ->
          Lexer_tptp.parse_error ()