fixed a small bug when translation substitutions to TPTP format
fixed a small bug when translation substitutions to TPTP format

leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III