concrete NounGer of Noun = CatGer ** open ResGer, Prelude in { -- -- flags optimize=all_subs ; -- -- lin -- DetCN det cn = { -- s = \\c => det.s ++ cn.s ! det.n ! c ; -- a = agrP3 det.n -- } ; -- UsePN pn = pn ** {a = agrP3 Sg} ; -- UsePron p = p ; -- -- MkDet pred quant num ord = { -- s = pred.s ++ quant.s ++ num.s ++ ord.s ; -- n = quant.n -- } ; -- -- PossPronSg p = {s = p.s ! Gen ; n = Sg} ; -- PossPronPl p = {s = p.s ! Gen ; n = Pl} ; -- -- NoPredet, NoNum, NoOrd = {s = []} ; -- NumInt n = n ; -- -- NumNumeral numeral = {s = numeral.s ! NCard} ; -- OrdNumeral numeral = {s = numeral.s ! NOrd} ; -- -- AdNum adn num = {s = adn.s ++ num.s} ; -- -- OrdSuperl a = {s = a.s ! AAdj Superl} ; -- -- DefSg = {s = artDef ; n = Sg} ; -- DefPl = {s = artDef ; n = Pl} ; -- -- IndefSg = {s = artIndef ; n = Sg} ; -- IndefPl = {s = [] ; n = Pl} ; -- -- ComplN2 f x = {s = \\n,c => f.s ! n ! Nom ++ f.c2 ++ x.s ! c} ; -- ComplN3 f x = {s = \\n,c => f.s ! n ! Nom ++ f.c2 ++ x.s ! c ; c2 = f.c3} ; -- -- AdjCN ap cn = { -- s = \\n,c => preOrPost ap.isPre (ap.s ! agrP3 n) (cn.s ! n ! c) -- } ; -- RelCN cn rs = {s = \\n,c => cn.s ! n ! c ++ rs.s ! {n = n ; p = P3}} ; -- -- SentCN cn s = {s = \\n,c => cn.s ! n ! c ++ conjThat ++ s.s} ; -- QuestCN cn qs = {s = \\n,c => cn.s ! n ! c ++ qs.s ! QIndir} ; -- -- UseN n = n ; -- }