forked from GitHub/gf-core
101 lines
2.9 KiB
Plaintext
101 lines
2.9 KiB
Plaintext
concrete SentenceLav of Sentence = CatLav ** open Prelude, ResLav, ParadigmsVerbsLav in {
|
|
flags optimize=all_subs ;
|
|
|
|
lin
|
|
|
|
UseCl t p cl = {s = t.s ++ p.s ++ cl.s ! (Ind t.a t.t) ! p.p} ;
|
|
|
|
PredVP np vp =
|
|
let
|
|
part = vp.v.s ! ResLav.Pos ! (Participle np.g np.n Nom) ;
|
|
obj = vp.obj ! (Ag np.g np.n)
|
|
in {
|
|
s = \\mood,pol =>
|
|
case mood of { -- Subject
|
|
Deb _ _ => np.s ! Dat ;
|
|
_ => np.s ! Nom
|
|
} ++
|
|
case mood of { -- Verb
|
|
Ind Simul tense => vp.v.s ! pol ! (Indicative np.p np.n tense) ;
|
|
Ind Anter tense => mkVerb_toBe.s ! pol ! (Indicative np.p np.n tense) ++ part ;
|
|
|
|
Rel _ Past => ResLav.NON_EXISTENT ; -- FIXME (?)
|
|
Rel Simul tense => vp.v.s ! pol ! (Relative tense) ;
|
|
Rel Anter tense => mkVerb_toBe.s ! pol ! (Relative tense) ++ part ;
|
|
|
|
Deb Simul tense => mkVerb_toBe.s ! pol ! (Indicative P3 Sg tense) ++
|
|
vp.v.s ! ResLav.Pos ! Debitive ;
|
|
Deb Anter tense => mkVerb_toBe.s ! pol ! (Indicative P3 Sg tense) ++
|
|
mkVerb_toBe.s ! ResLav.Pos ! (Participle Masc Sg Nom) ++ vp.v.s ! ResLav.Pos ! Debitive ;
|
|
|
|
Condit Simul => vp.v.s ! pol ! (Indicative np.p np.n Cond) ;
|
|
Condit Anter => mkVerb_toBe.s ! pol ! (Indicative np.p np.n Cond) ++ part
|
|
} ++
|
|
obj -- Object
|
|
} ;
|
|
|
|
{-
|
|
PredVP np vp = mkClause (np.s ! Nom) np.a vp ;
|
|
|
|
PredSCVP sc vp = mkClause sc.s (agrP3 Sg) vp ;
|
|
|
|
ImpVP vp = {
|
|
s = \\pol,n =>
|
|
let
|
|
agr = AgP2 (numImp n) ;
|
|
verb = infVP True vp agr ;
|
|
dont = case pol of {
|
|
CNeg True => "don't" ;
|
|
CNeg False => "do" ++ "not" ;
|
|
_ => []
|
|
}
|
|
in
|
|
dont ++ verb
|
|
} ;
|
|
|
|
SlashVP np vp =
|
|
mkClause (np.s ! Nom) np.a vp ** {c2 = vp.c2} ;
|
|
|
|
AdvSlash slash adv = {
|
|
s = \\t,a,b,o => slash.s ! t ! a ! b ! o ++ adv.s ;
|
|
c2 = slash.c2
|
|
} ;
|
|
|
|
SlashPrep cl prep = cl ** {c2 = prep.s} ;
|
|
|
|
SlashVS np vs slash =
|
|
mkClause (np.s ! Nom) np.a
|
|
(insertObj (\\_ => conjThat ++ slash.s) (predV vs)) **
|
|
{c2 = slash.c2} ;
|
|
|
|
EmbedS s = {s = conjThat ++ s.s} ;
|
|
EmbedQS qs = {s = qs.s ! QIndir} ;
|
|
EmbedVP vp = {s = infVP False vp (agrP3 Sg)} ; --- agr
|
|
|
|
UseCl t p cl = {
|
|
s = t.s ++ p.s ++ cl.s ! t.t ! t.a ! ctr p.p ! ODir
|
|
} ;
|
|
UseQCl t p cl = {
|
|
s = \\q => t.s ++ p.s ++ cl.s ! t.t ! t.a ! ctr p.p ! q
|
|
} ;
|
|
UseRCl t p cl = {
|
|
s = \\r => t.s ++ p.s ++ cl.s ! t.t ! t.a ! ctr p.p ! r ;
|
|
c = cl.c
|
|
} ;
|
|
UseSlash t p cl = {
|
|
s = t.s ++ p.s ++ cl.s ! t.t ! t.a ! ctr p.p ! ODir ;
|
|
c2 = cl.c2
|
|
} ;
|
|
|
|
AdvS a s = {s = a.s ++ "," ++ s.s} ;
|
|
|
|
SSubjS a s b = {s = a.s ++ s.s ++ b.s} ;
|
|
|
|
RelS s r = {s = s.s ++ "," ++ r.s ! agrP3 Sg} ;
|
|
|
|
oper
|
|
ctr = contrNeg True ; -- contracted negations
|
|
-}
|
|
}
|
|
|