concrete TestEng of Test =
   LiftEng - [MkSymb]
  ,LexiconEng - [Pol,Tense]
  ,StructuralEng - [Pol,Tense]

              ** open ResEng, PredInstanceEng, Prelude, (Pr = PredEng) in {

--flags literal=Symb ;
}