Export is_readable_file.
Export parse_tptp_file.
Simpler definition of is_readable_file;
We need to import the slurp symbol.