mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-05-27 17:08:54 -06:00
(Ara) Add AdvIAdv
This commit is contained in:
@@ -4,7 +4,6 @@ resource MissingAra = open GrammarAra, Prelude in {
|
|||||||
oper AdAdv : AdA -> Adv -> Adv = notYet "AdAdv" ;
|
oper AdAdv : AdA -> Adv -> Adv = notYet "AdAdv" ;
|
||||||
oper AdVVP : AdV -> VP -> VP = notYet "AdVVP" ;
|
oper AdVVP : AdV -> VP -> VP = notYet "AdVVP" ;
|
||||||
oper AdnCAdv : CAdv -> AdN = notYet "AdnCAdv" ;
|
oper AdnCAdv : CAdv -> AdN = notYet "AdnCAdv" ;
|
||||||
oper AdvIAdv : IAdv -> Adv -> IAdv = notYet "AdvIAdv" ;
|
|
||||||
oper BaseRS : RS -> RS -> ListRS = notYet "BaseRS" ;
|
oper BaseRS : RS -> RS -> ListRS = notYet "BaseRS" ;
|
||||||
oper CAdvAP : CAdv -> AP -> NP -> AP = notYet "CAdvAP" ;
|
oper CAdvAP : CAdv -> AP -> NP -> AP = notYet "CAdvAP" ;
|
||||||
oper CleftNP : NP -> RS -> Cl = notYet "CleftNP" ;
|
oper CleftNP : NP -> RS -> Cl = notYet "CleftNP" ;
|
||||||
|
|||||||
@@ -63,26 +63,28 @@ concrete QuestionAra of Question = CatAra ** open ResAra, ParamX, Prelude, VerbA
|
|||||||
s = \\isPred,g,s,c => ip.s ! isPred ! g ! s ! c ++ adv.s ;
|
s = \\isPred,g,s,c => ip.s ! isPred ! g ! s ! c ++ adv.s ;
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
-- : IDet -> IP
|
AdvIAdv iadv adv = {s = iadv.s ++ adv.s} ;
|
||||||
IdetIP idet = idet ** {
|
|
||||||
s = \\isPred => idet.s ;
|
|
||||||
a = { pgn = agrP3 NoHum Masc idet.n ; isPron = False }
|
|
||||||
} ;
|
|
||||||
|
|
||||||
-- : IDet -> CN -> IP
|
-- : IDet -> IP
|
||||||
IdetCN idet cn = {
|
IdetIP idet = idet ** {
|
||||||
s = \\isPred,g,s,c
|
s = \\isPred => idet.s ;
|
||||||
|
a = { pgn = agrP3 NoHum Masc idet.n ; isPron = False }
|
||||||
|
} ;
|
||||||
|
|
||||||
|
-- : IDet -> CN -> IP
|
||||||
|
IdetCN idet cn = {
|
||||||
|
s = \\isPred,g,s,c
|
||||||
=> idet.s ! cn.g ! s ! c ++
|
=> idet.s ! cn.g ! s ! c ++
|
||||||
cn2str cn idet.n idet.d Gen ;
|
cn2str cn idet.n idet.d Gen ;
|
||||||
a = { pgn = agrP3 NoHum cn.g idet.n ; isPron = False }
|
a = { pgn = agrP3 NoHum cn.g idet.n ; isPron = False }
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
-- : IQuant -> Num -> IDet
|
-- : IQuant -> Num -> IDet
|
||||||
IdetQuant iquant num = {
|
IdetQuant iquant num = {
|
||||||
s = \\g,s,c =>
|
s = \\g,s,c =>
|
||||||
let gend = detGender g num.n -- gender flips with some numbers
|
let gend = detGender g num.n -- gender flips with some numbers
|
||||||
in iquant.s ! s ! c ++ num.s ! gend ! s ! c ;
|
in iquant.s ! s ! c ++ num.s ! gend ! s ! c ;
|
||||||
n = sizeToNumber num.n ;
|
n = sizeToNumber num.n ;
|
||||||
d = Indef ---- TODO check
|
d = Indef ---- TODO check
|
||||||
} ;
|
} ;
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user