external_translation_name

external_translation_name 
      ::= 
      std_translation_name 
      | implt_def_translation_name

[rule list] 
This rule is called by

-> external_translation