concrete NDLiftChi of NDLift = RGLBaseChi - [Pol,Tense,Ant] ,NDPredChi ** NDLiftFunctor with (Lift = LiftChi) ;