Configuring the Theorem/Teamcenter Translator