--# -path=..:present:prelude

concrete Toy0GerE of Toy0 = Toy0IE with
  (Grammar = GrammarGer),
  (Lexicon = LexiconGer) ;