--concrete ExtScand of ExtScandAbs = CatScand ** open ResScand in {
--
--  lincat
--
--    Aux = {s : Polarity => Str} ;
--    
--  lin
-- 
--    PredAux np aux vp = mkS (np.s ! Nom) np.a
--      (\\t,ant,b,ord,agr => 
--       let 
--        fin  = aux.s ! b ;
--        vf : Str -> Str -> {fin, inf : Str} = \x,y -> 
--          {fin = x ; inf = y} ;
--      in
--      case ant of {
--        Simul => vf fin [] ;
--        Anter => vf fin "have"
--        }
--      )
--      (\\agr => infVP vp agr) ;
--
--    can_Aux  = {s = \\p => posneg p "can"} ; ---- cannt
--    must_Aux = {s = \\p => posneg p "must"} ;
--
--}