concrete MinLexiconEng of MinLexicon = MinLexiconI with
  (Lexicon = LexiconEng) ;