To build the java translation tool, run ./build.sh translate.sh is a script that translates a given file into a maude file that the RTP can handle.Usage is translate.sh path/to/TPTP/format/Problem This assumes that the script is being ran from is directory. Additionally it assumes that Antlr is installed at /usr/local/Cellar/antlr/3.2/antlr-3.2.jar, TPTP-v5.1.0 has been uncompressed into the user's home directory and that ~/maude/maude.intelDarwin is the correct path to maude. All these are changeable by altering translate.sh Similarly, there are timeouts on the commands that might take a long time. These can be changed by altering the numeric argument to ./timeout3. translateall.sh runs translate.sh on each Problem provided by TPTP. It too assumes that TPTP distribution is located at ~/TPTP-v5.1.0