implt_def_translation_name

implt_def_translation_name 
      ::= translation_name 

This rule is called by

-> external_translation_name