implement translation for "DEF"