public interface LemmaGenerator extends TacletTranslator
TacletFormula
translate(Taclet taclet, TermServices services)
TacletFormula translate(Taclet taclet, TermServices services)