update toTPTP output for type-all-quantified formulas
update toTPTP output for type-all-quantified formulas

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