Fixed translation of QNames to TPTP names.
Fixed translation of QNames to TPTP names.

Ignore-this: d4edd1f084ac0eb9be4a740f4b0d7b3c

darcs-hash:20100325214011-3bd4e-637d4d6469d0920512598122ffdf25508ed30ae0.gz

asr/fotc,asr/fotc