forked from GitHub/gf-core
151 lines
4.1 KiB
Plaintext
151 lines
4.1 KiB
Plaintext
incomplete concrete ExtraScand of ExtraScandAbs = CatScand **
|
|
open CommonScand,Coordination,ResScand, ParamX, Prelude in {
|
|
flags coding=utf8 ;
|
|
lin
|
|
GenNP np = {
|
|
s,sp = \\n,_,_,g => np.s ! NPPoss (gennum (ngen2gen g) n) Nom ;
|
|
det = DDef Indef
|
|
} ;
|
|
|
|
|
|
ComplBareVS v s = insertObj (\\_ => s.s ! Sub) (predV v) ;
|
|
|
|
CompBareCN cn = {s = \\a => case a.n of {
|
|
Sg => cn.s ! Sg ! DIndef ! Nom ;
|
|
Pl => cn.s ! Pl ! DIndef ! Nom
|
|
}
|
|
} ;
|
|
|
|
PiedPipingRelSlash rp slash = {
|
|
s = \\t,a,p,ag,_ =>
|
|
let
|
|
agr = case rp.a of {
|
|
RNoAg => ag ;
|
|
RAg g n pr => {g = g ; n = n ; p = pr}
|
|
}
|
|
in
|
|
slash.c2.s ++ rp.s ! ag.g ! ag.n ! RPrep slash.c2.hasPrep ++
|
|
slash.s ! t ! a ! p ! Sub ++ slash.n3 ! agr ;
|
|
c = NPAcc
|
|
} ;
|
|
|
|
StrandRelSlash rp slash = {
|
|
s = \\t,a,p,ag,_ =>
|
|
rp.s ! ag.g ! ag.n ! RNom ++ slash.s ! t ! a ! p ! Sub ++ slash.c2.s ;
|
|
c = NPAcc
|
|
} ;
|
|
EmptyRelSlash slash = {
|
|
s = \\t,a,p,ag,_ =>
|
|
slash.s ! t ! a ! p ! Sub ++ slash.c2.s ;
|
|
c = NPAcc
|
|
} ;
|
|
|
|
StrandQuestSlash ip slash = {
|
|
s = \\t,a,p =>
|
|
let
|
|
cls = slash.s ! t ! a ! p ;
|
|
who = ip.s ! accusative
|
|
in table {
|
|
QDir => who ++ cls ! Inv ++ slash.c2.s ;
|
|
QIndir => who ++ cls ! Sub ++ slash.c2.s
|
|
}
|
|
} ;
|
|
|
|
PiedPipingQuestSlash ip slash = {
|
|
s = \\t,a,p =>
|
|
let
|
|
agr = agrP3 ip.g ip.n ;
|
|
cls : Order => Str = \\o => slash.s ! t ! a ! p ! o ++ slash.n3 ! agr ;
|
|
who = slash.c2.s ++ ip.s ! accusative --- stranding in ExtScand
|
|
in table {
|
|
QDir => who ++ cls ! Inv ;
|
|
QIndir => who ++ cls ! Sub
|
|
}
|
|
} ;
|
|
|
|
lincat
|
|
VPI = {s : VPIForm => Agr => Str} ;
|
|
[VPI] = {s1,s2 : VPIForm => Agr => Str} ;
|
|
|
|
lin
|
|
BaseVPI = twoTable2 VPIForm Agr ;
|
|
ConsVPI = consrTable2 VPIForm Agr comma ;
|
|
|
|
MkVPI vp = {
|
|
s = \\v,a => infVP vp a ---- no sup
|
|
} ;
|
|
ConjVPI = conjunctDistrTable2 VPIForm Agr ;
|
|
ComplVPIVV vv vpi = insertObj (\\a => vv.c2.s ++ vpi.s ! VPIInf ! a) (predV vv) ;
|
|
|
|
lincat
|
|
VPS = {s : Order => Agr => Str} ;
|
|
[VPS] = {s1,s2 : Order => Agr => Str} ;
|
|
|
|
lin
|
|
BaseVPS = twoTable2 Order Agr ;
|
|
ConsVPS = consrTable2 Order Agr comma ;
|
|
|
|
PredVPS np vpi =
|
|
let
|
|
subj = np.s ! nominative ;
|
|
agr = np.a ;
|
|
in {
|
|
s = \\o =>
|
|
let verb = vpi.s ! o ! agr
|
|
in case o of {
|
|
Main => subj ++ verb ;
|
|
Inv => verb ++ subj ; ---- älskar henne och sover jag
|
|
Sub => subj ++ verb
|
|
}
|
|
} ;
|
|
|
|
MkVPS t p vp = {
|
|
s = \\o,a =>
|
|
let
|
|
verb = vp.s ! Act ! VPFinite t.t t.a ;
|
|
neg = verb.a1 ! p.p ! a ;
|
|
compl = vp.n2 ! a ++ vp.a2 ++ vp.ext ;
|
|
pron = vp.n1 ! a
|
|
in t.s ++ p.s ++ case o of {
|
|
Main => verb.fin ++ neg.p1 ++ verb.inf ++ pron ++ neg.p2 ++ compl ;
|
|
Inv => verb.fin ++ neg.p1 ++ verb.inf ++ pron ++ neg.p2 ++ compl ; ----
|
|
Sub => neg.p1 ++ neg.p2 ++ verb.fin ++ verb.inf ++ pron ++ compl
|
|
}
|
|
} ;
|
|
|
|
ConjVPS = conjunctDistrTable2 Order Agr ;
|
|
|
|
ICompAP ap = {s = \\a => hur_IAdv.s ++ ap.s ! a} ;
|
|
|
|
IAdvAdv adv = {s = hur_IAdv.s ++ adv.s} ;
|
|
|
|
lincat
|
|
Foc = {s : STense => Anteriority => Polarity => Str} ;
|
|
|
|
lin
|
|
FocObj np cls = {
|
|
s = \\t,a,p => cls.c2.s ++ np.s ! accusative ++ cls.s ! t ! a ! p ! Inv
|
|
} ;
|
|
FocAdv adv cls = {
|
|
s = \\t,a,p => adv.s ++ cls.s ! t ! a ! p ! Inv
|
|
} ;
|
|
FocAdV adv cls = {
|
|
s = \\t,a,p => adv.s ++ cls.s ! t ! a ! p ! Inv
|
|
} ;
|
|
FocNeg cl = {
|
|
s = \\t,a,p => (negation ! Neg) ++ cl.s ! t ! a ! p ! Inv
|
|
} ;
|
|
|
|
UseFoc t p foc = {s = t.s ++ p.s ++ foc.s ! t.t ! t.a ! p.p} ;
|
|
|
|
oper NONEXIST : Str = "#¿@§X?X&%/" ;
|
|
|
|
lin
|
|
AdjAsCN ap = let g = utrum in { ---- neutrum ??
|
|
s = \\n,d,c => ap.s ! agrAdj (gennum (ngen2gen g) n) d ;
|
|
g = g ;
|
|
isMod = True
|
|
} ;
|
|
|
|
}
|