forked from GitHub/gf-rgl
111 lines
3.1 KiB
Plaintext
Executable File
111 lines
3.1 KiB
Plaintext
Executable File
concrete QuestionZul of Question = CatZul ** open ResZul, Prelude, ParamX in {
|
|
|
|
flags optimize=all_subs ;
|
|
|
|
lin
|
|
|
|
QuestCl cl = {
|
|
s = \\p,t => cl.s!p!t ;
|
|
-- potqcl = cl.potcl ;
|
|
qword_pre = [] ;
|
|
qword_post = variants { "na" ; [] } ;
|
|
} ; -- guessing this will work...
|
|
|
|
-- QuestVP qp vp =
|
|
-- let cl = mkClause (qp.s ! npNom) (agrP3 qp.n) vp
|
|
-- in {s = \\t,a,b,_ => cl.s ! t ! a ! b ! oDir} ; ----
|
|
--
|
|
-- QuestSlash ip slash =
|
|
-- {s = \\t,a,b,q =>
|
|
-- (mkQuestion (ss (ip.s ! NPAcc)) slash).s ! t ! a ! b ! q ++ slash.c2
|
|
-- } ;
|
|
-- --- changed AR 5/6/2016: uses stranding; pied-piping in ExtraZul
|
|
|
|
QuestIAdv iadv cl = qcl_iadv cl iadv ;
|
|
|
|
QuestIComp icomp np = {
|
|
s = \\p,t =>
|
|
let
|
|
vform = VFIndic MainCl p t ;
|
|
pre_icomp = case icomp.postIComp of {
|
|
False => (icomp_pref vform np.agr) ++ icomp.s ;
|
|
True => []
|
|
} ;
|
|
post_icomp = case icomp.postIComp of {
|
|
True => (icomp_pref vform np.agr) ++ icomp.s ;
|
|
False => []
|
|
}
|
|
in
|
|
pre_icomp ++ (np.s!NFull) ++ post_icomp ;
|
|
qword_pre = [] ;
|
|
qword_post = []
|
|
} ;
|
|
-- mkQuestion icomp (mkClause (np.s ! npNom) np.a (predAux auxBe)) ;
|
|
|
|
|
|
-- PrepIP p ip = {s = p.s ++ ip.s ! NPAcc} ;
|
|
--
|
|
-- AdvIP ip adv = {
|
|
-- s = \\c => ip.s ! c ++ adv.s ;
|
|
-- n = ip.n
|
|
-- } ;
|
|
--
|
|
-- IdetCN idet cn = {
|
|
-- s = \\c => idet.s ++ cn.s ! idet.n ! npcase2case c ;
|
|
-- n = idet.n
|
|
-- } ;
|
|
--
|
|
-- IdetIP idet = {
|
|
-- s = \\c => idet.s ;
|
|
-- n = idet.n
|
|
-- } ;
|
|
--
|
|
-- IdetQuant idet num = {
|
|
-- s = idet.s ! num.n ++ num.s ! False ! Nom ;
|
|
-- n = num.n
|
|
-- } ;
|
|
--
|
|
-- AdvIAdv i a = ss (i.s ++ a.s) ;
|
|
--
|
|
-- CompIAdv a = a ;
|
|
-- CompIP p = ss (p.s ! npNom) ;
|
|
--
|
|
-- lincat
|
|
-- QVP = ResZul.VP ;
|
|
-- lin
|
|
-- ComplSlashIP vp np = insertObjPre (\\_ => vp.c2 ++ np.s ! NPAcc) vp ;
|
|
-- AdvQVP vp adv = insertObj (\\_ => adv.s) vp ;
|
|
-- AddAdvQVP vp adv = insertObj (\\_ => adv.s) vp ;
|
|
--
|
|
-- QuestQVP qp vp =
|
|
-- let cl = mkClause (qp.s ! npNom) (agrP3 qp.n) vp
|
|
-- in {s = \\t,a,b,_ => cl.s ! t ! a ! b ! oDir} ; ----
|
|
|
|
oper
|
|
-- qcl_iadv : Cl -> CatZul.IAdv -> {s : Polarity => ZTense => DMood => Str ; potqcl : Polarity => DMood => Str ; qword_pre : Str ; qword_post : Str } = \cl,iadv -> {
|
|
-- s = case iadv.postIAdv of {
|
|
-- False => \\p,t,m => cl.s!p!t!m ++ iadv.s ++ cl.advs ;
|
|
-- True => \\p,t,m => cl.s!p!t!m ++ cl.advs
|
|
-- } ;
|
|
-- potqcl = cl.potcl ;
|
|
-- qword_pre = case iadv.postIAdv of {
|
|
-- False => [] ;
|
|
-- True => iadv.s
|
|
-- } ;
|
|
-- qword_post = []
|
|
-- } ;
|
|
|
|
qcl_iadv : Cl -> CatZul.IAdv -> {s : Polarity => BasicTense => Str ; qword_pre : Str ; qword_post : Str } = \cl,iadv -> {
|
|
s = \\p,t => cl.s!p!t ;
|
|
qword_pre = case iadv.postIAdv of {
|
|
True => [] ;
|
|
False => iadv.s
|
|
} ;
|
|
qword_post = case iadv.postIAdv of {
|
|
False => [] ;
|
|
True => iadv.s
|
|
} ;
|
|
} ;
|
|
|
|
}
|