concrete SentenceSom of Sentence = CatSom ** open
  TenseX, ResSom, (AS=AdverbSom), Prelude in {

flags optimize=all_subs ;

lin

--2 Clauses

  -- : NP -> VP -> Cl
  PredVP np vp = {
    s = \\t,a,p =>
       let pred : {fin : Str ; inf : Str} = vf t a p np.a vp ;
           subj : Str = if_then_Str np.isPron [] (np.s ! Nom) ;
           obj  : {p1,p2 : Str} = vp.comp ! np.a ;
           stm : Str =
            case <p,vp.isPred,np.a> of {
                 <Pos,True,Sg3 _> => "waa" ;
                -- _                => stmarker ! np.a ! b } -- marker+pronoun contract
                 _ => case <np.isPron,p> of {
                        <True,Pos> => "waa" ++ np.s ! Nom ; -- to force some string from NP to show in the tree
                        <True,Neg> => "ma"  ++ np.s ! Nom ;
                        <False>    => stmarkerNoContr ! np.a ! p }} ;
      in subj         -- subject if it's a noun
      ++ obj.p1       -- object if it's a noun
      ++ stm          -- sentence type marker + possible subj. pronoun
      ++ vp.adv.s   ---- TODO: can it contract with obj. pronoun?
      ++ obj.p2       -- object if it's a pronoun
      ++ pred.fin     -- the verb inflected
      ++ pred.inf     -- potential participle
      ++ vp.adv.s2  ---- I have no idea /IL
    } ;
{-
  -- : SC -> VP -> Cl ;         -- that she goes is good
  PredSCVP sc vp = ;

--2 Clauses missing object noun phrases
  -- : NP -> VPSlash -> ClSlash ;
  SlashVP np vps = ;

  -- : ClSlash -> Adv -> ClSlash ;     -- (whom) he sees today
  AdvSlash cls adv = cls ** insertAdv adv cls ;

--    SlashPrep : Cl -> Prep -> ClSlash ;         -- (with whom) he walks

  -- : NP -> VS -> SSlash -> ClSlash ; -- (whom) she says that he loves
--  SlashVS np vs ss = {} ;


  --  : Temp -> Pol -> ClSlash -> SSlash ; -- (that) she had not seen
  UseSlash t p cls = UseCl t p (PredVP he_Pron cls) ;

--2 Imperatives
  -- : VP -> Imp ;
 ImpVP vp = { s = linVP vp } ;

--2 Embedded sentences


  -- : S  -> SC ;
  EmbedS s = { } ;

  -- : QS -> SC ;
  EmbedQS qs = { } ;

  -- : VP -> SC ;
  EmbedVP vp = { s = linVP vp } ;

--2 Sentences

-}
  -- : Temp -> Pol -> Cl -> S ;
  UseCl t p cl = { s = t.s ++ p.s ++ cl.s ! t.t ! t.a ! p.p } ;
{-
  -- : Temp -> Pol -> RCl -> RS ;
  UseRCl t p cl = { s = t.s ++ p.s ++ cl.s ! t.t ! t.a ! p.p } ;

  -- : Temp -> Pol -> QCl -> QS ;
  UseQCl t p cl = { s = t.s ++ p.s ++ cl.s ! t.t ! t.a ! p.p } ;

-- An adverb can be added to the beginning of a sentence, either with comma ("externally")
-- or without:

  -- : Adv -> S  -> S ;            -- then I will go home
  AdvS = advS ;

  -- : Adv -> S  -> S ;            -- next week, I will go home
  ExtAdvS adv = advS {s = adv.s ++ SOFT_BIND ++ ","}  ;

-- There's an SubjS already in AdverbSom -- should this be deprecated?
  -- : S -> Subj -> S -> S ;
  SSubjS s1 subj s2 = AdvS (AS.SubjS subj s2) s1 ;

-- A sentence can be modified by a relative clause referring to its contents.

  --  : S -> RS -> S ;              -- she sleeps, which is good
  RelS sent rs = advS { s = rs.s ! Sg3 Masc ++ SOFT_BIND ++ ","} sent ;

oper

  advS : Adv -> SS -> SS = \a,s -> {s = a.s ++ s.s} ;
-}
}