fact: Definition translateLT (ts : fol.Terms LNN (arityR LNN LT_)) : Formula.
imports: Coq(Ensembles List Arith) hydras.Ackermann(misc ListExt folProp folProof Languages subAll subProp folLogic3 folReplace LNN LNT codeNatToTerm NewNotations)