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 ()