concrete PhraseSom of Phrase = CatSom ** open Prelude, ResSom in {

  lin
    PhrUtt pconj utt voc = {s = pconj.s ++ utt.s ++ voc.s} ;

    UttS s = let basecl = s.s ! False in {s = linBaseCl basecl} ;
    UttQS qs = qs ;

    UttImpSg pol imp =
      let ma = case pol.p of { Pos => [] ; Neg => "ma" }
      in { s = ma ++ imp.s } ;
    UttImpPl = UttImpSg ;
    UttImpPol = UttImpSg ;

    UttIP ip = { s = ip.s ! Abs} ;
    UttIAdv iadv = iadv ;
    UttNP np = { s = np.s ! Abs} ;
    UttVP vp = { s = infVP vp } ;
    UttAdv adv = {s = linAdv adv} ;
    UttCN n = {s = linCN n} ;
    UttCard n = {s = n.s ! Mid} ;
    UttAP ap = { s = ap.s ! AF Sg Abs } ;
    UttInterj i = i ;

    NoPConj = {s = []} ;
    PConjConj conj = {s = conj.s1 ++ conj.s2 ! Indefinite} ;

    NoVoc = {s = []} ;
    VocNP np = { s = "," ++ np.s ! Abs } ; --TODO: vocative exists

}