concrete LogicEng of Logic = SymbolsX ** LogicI with
  (LexLogic = LexLogicEng),
  (Lang = LangEng),
  (Syntax = SyntaxEng),
  (Symbolic = SymbolicEng) ;