concrete NDLiftSwe of NDLift = RGLBaseSwe - [Pol,Tense] ,NDPredSwe ** NDLiftFunctor with (Lift = LiftSwe) ;