Translation of functions and predicates names to TPTP names (incomplete).
Translation of functions and predicates names to TPTP names (incomplete).

Ignore-this: ef6d227f5c6f220cf83f7066439b47b7

darcs-hash:20100325165038-3bd4e-8aa969363ba74caf714f96f3e8eee8841e648f2f.gz

asr/fotc,asr/fotc