concrete TestChi of Test = LiftChi - [MkSymb] ,LexiconChi - [Pol,Tense,Ant] ,StructuralChi - [Pol,Tense,Ant] ** open ResChi, PredInstanceChi, Prelude in { --flags literal=Symb ; }