concrete PhraseSlv of Phrase = CatSlv ** open Prelude, ResSlv, (P=ParamX) in {

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

    UttS s = s ;
    UttQS qs = qs ;
    UttImpSg pol imp = {s = pol.s ++ imp.s ! pol.p ! Masc ! Sg} ;
    UttImpPl pol imp = {s = pol.s ++ imp.s ! pol.p ! Masc ! Sg} ;
    UttImpPol pol imp = {s = pol.s ++ imp.s ! pol.p ! Masc ! Sg} ;

    UttNP np = {s = np.s ! Nom} ;
    UttVP vp = {s = vp.s ! P.Pos ! VInf ++ vp.s2 ! {g=Masc; n=Sg; p=P3}} ;
    UttAdv adv = adv ;
    
    UttIAdv iadv = iadv ; ----AR
    UttIP ip = {s = ip.s ! Nom} ; ----AR

    UttCN n = {s = n.s ! Indef ! Nom ! Sg} ;    
    UttCard n = {s = n.s ! Fem ! Nom} ;
    UttAP ap = {s = ap.s ! Indef ! AMasc Inanimate ! Nom ! Sg} ;
    UttInterj i = i ;

    NoPConj = {s = []} ;

    NoVoc = {s = []} ;

}