Lambda Pi Translator