let to_clauses_from_string (string: string) : clause list =
  parse_from_string string