On Thu, 26 May 2005, Aart Middeldorp wrote: > many places. To facilitate the work, parsers for the TPDB format can be > made available in a variety of programming languages. it would definitely be a good thing. for instance, tptp proposes software for using the data base.