Attributes . Logic-Level Translator . Names