concrete SentenceLav of Sentence = CatLav ** open Prelude, ResLav, ParadigmsVerbsLav in {
  flags optimize=all_subs ;

  lin

  UseCl t p cl = {s = t.s ++ p.s ++ cl.s ! (Ind t.a t.t) ! p.p} ;
  
  PredVP np vp =
    let
      part = vp.v.s ! ResLav.Pos ! (Participle np.g np.n Nom) ;
      obj  = vp.obj ! (Ag np.g np.n)
    in {
      s = \\mood,pol =>
        case mood of {		-- Subject
          Deb _ _ => np.s ! Dat ;
          _ => np.s ! Nom
        } ++
        case mood of {		-- Verb
          Ind Simul tense  => vp.v.s ! pol ! (Indicative np.p np.n tense) ;
          Ind Anter tense => mkVerb_toBe.s ! pol ! (Indicative np.p np.n tense) ++ part ;

          Rel _       Past  => ResLav.NON_EXISTENT ;		-- FIXME (?)
          Rel Simul tense => vp.v.s ! pol ! (Relative tense) ;
          Rel Anter tense => mkVerb_toBe.s ! pol ! (Relative tense) ++ part ;

          Deb Simul tense => mkVerb_toBe.s ! pol ! (Indicative P3 Sg tense) ++
            vp.v.s ! ResLav.Pos ! Debitive ;
          Deb Anter tense => mkVerb_toBe.s ! pol ! (Indicative P3 Sg tense) ++
            mkVerb_toBe.s ! ResLav.Pos ! (Participle Masc Sg Nom) ++ vp.v.s ! ResLav.Pos ! Debitive ;

          Condit Simul  => vp.v.s ! pol ! (Indicative np.p np.n Cond) ;
          Condit Anter => mkVerb_toBe.s ! pol ! (Indicative np.p np.n Cond) ++ part
        } ++
        obj					-- Object
    } ;
  
{-  
    PredVP np vp = mkClause (np.s ! Nom) np.a vp ;

    PredSCVP sc vp = mkClause sc.s (agrP3 Sg) vp ;

    ImpVP vp = {
      s = \\pol,n => 
        let 
          agr   = AgP2 (numImp n) ;
          verb  = infVP True vp agr ;
          dont  = case pol of {
            CNeg True => "don't" ;
            CNeg False => "do" ++ "not" ;
            _ => []
            }
        in
        dont ++ verb
    } ;

    SlashVP np vp = 
      mkClause (np.s ! Nom) np.a vp ** {c2 = vp.c2} ;

    AdvSlash slash adv = {
      s  = \\t,a,b,o => slash.s ! t ! a ! b ! o ++ adv.s ;
      c2 = slash.c2
    } ;

    SlashPrep cl prep = cl ** {c2 = prep.s} ;

    SlashVS np vs slash = 
      mkClause (np.s ! Nom) np.a 
        (insertObj (\\_ => conjThat ++ slash.s) (predV vs))  **
        {c2 = slash.c2} ;

    EmbedS  s  = {s = conjThat ++ s.s} ;
    EmbedQS qs = {s = qs.s ! QIndir} ;
    EmbedVP vp = {s = infVP False vp (agrP3 Sg)} ; --- agr

    UseCl  t p cl = {
      s = t.s ++ p.s ++ cl.s ! t.t ! t.a ! ctr p.p ! ODir
    } ;
    UseQCl t p cl = {
      s = \\q => t.s ++ p.s ++ cl.s ! t.t ! t.a ! ctr p.p ! q
    } ;
    UseRCl t p cl = {
      s = \\r => t.s ++ p.s ++ cl.s ! t.t ! t.a ! ctr p.p ! r ;
      c = cl.c
    } ;
    UseSlash t p cl = {
      s = t.s ++ p.s ++ cl.s ! t.t ! t.a ! ctr p.p  ! ODir ;
      c2 = cl.c2
    } ;

    AdvS a s = {s = a.s ++ "," ++ s.s} ;

    SSubjS a s b = {s = a.s ++ s.s ++ b.s} ;

    RelS s r = {s = s.s ++ "," ++ r.s ! agrP3 Sg} ;

  oper
    ctr = contrNeg True ;  -- contracted negations
-}
}