Reading TPTP files with automatic include resolution, writing TPTP files