GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-28 09:28:54 -06:00
Code Issues Packages Projects Releases Wiki Activity

(Ara) Fix bug in SlashV2VNP + refactor some related opers

Browse Source
This commit is contained in:
Inari Listenmaa
2018-11-27 17:35:59 +01:00
parent 29b5ac47fb
commit f2e9993425
2 changed files with 21 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
src/arabic/ResAra.gf
View File

@@ -1546,9 +1546,7 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
} in wordOrder o } in wordOrder o
vp.obj.a.isPron np.a.isPron vp.obj.a.isPron np.a.isPron
(vStr vp pgn t p) (vStr vp pgn t p)
(case <vp.isPred,vp.obj.a.isPron> of { vp.obj.s
<False,True> => BIND ++ vp.obj.s ;
_ => vp.obj.s })
(pred vp pgn t p) (pred vp pgn t p)
vp.s2 vp.s2
subj subj
@@ -1626,11 +1624,18 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
subj2np : Subj -> NP = \su -> su ** {a = {pgn = emptyNP.a.pgn ; isPron = su.isPron} ; empty=[]} ; subj2np : Subj -> NP = \su -> su ** {a = {pgn = emptyNP.a.pgn ; isPron = su.isPron} ; empty=[]} ;
emptyObj : Obj = emptyNP ** {s=[]} ; emptyObj : Obj = emptyNP ** {s=[]} ;
insertObj : NP -> VPSlash -> VP = \np,vp -> vp ** insertObj : NP -> VPSlash -> VP = \np,vp -> vp ** {
{ obj = {s = vp.obj.s -- old object, if there was one obj = {s = vp.obj.s -- old object, if there was one
++ vp.c2.s ++ np.s ! vp.c2.c -- new object ++ bindIfPron np vp -- new object, bind if pronoun and not pred
++ vp.agrObj ! np.a.pgn ; -- only used for SlashV2V ++ vp.agrObj ! np.a.pgn ; -- only used for SlashV2V
a = np.a} }; a = np.a}
} ;
bindIfPron : NP -> {c2:Preposition; isPred:Bool} -> Str = \np,vp ->
let bind = case <vp.isPred,np.a.isPron> of {
<False,True> => BIND ;
_ => [] }
in vp.c2.s ++ bind ++ np.s ! vp.c2.c ;
insertPred : Comp -> VP -> VP = \p,vp -> vp ** insertPred : Comp -> VP -> VP = \p,vp -> vp **
{ pred = p; { pred = p;

12
src/arabic/VerbAra.gf
View File

@@ -14,17 +14,19 @@ concrete VerbAra of Verb = CatAra ** open Prelude, ResAra, ParamX in {
agrObj = \\pgn => v2v.c3.s -- أَنْ agrObj = \\pgn => v2v.c3.s -- أَنْ
++ vp.s ! pgn ! VPImpf Cnj ; ++ vp.s ! pgn ! VPImpf Cnj ;
isPred = False ; isPred = False ;
c2 = v2v.c2 ; -- for the direct object c2 = v2v.c2 ; -- preposition for the direct object
sc = v2v.sc sc = v2v.sc
} ; } ;
-- : V2V -> NP -> VPSlash -> VPSlash ; -- beg me to buy -- : V2V -> NP -> VPSlash -> VPSlash ; -- beg me to buy
SlashV2VNP v2v np vps = let v2vVP = predV v2v in -- IL SlashV2VNP v2v np vps = let v2vVP = slashV2 v2v in -- IL
vps ** { vps ** {
s = \\pgn,vpf => v2vVP.s ! pgn ! vpf s = \\pgn,vpf => v2vVP.s ! pgn ! vpf -- main verb agrees with subject
++ v2v.c2.s ++ np.s ! v2v.c2.c ++ bindIfPron np v2vVP
++ v2v.c3.s -- أَنْ ++ v2v.c3.s -- أَنْ
++ vps.s ! pgn ! VPImpf Cnj ; ++ vps.s ! np.a.pgn ! VPImpf Cnj -- verb from old VP agrees with object
++ vps.obj.s ; -- otherwise obj appears in a weird place /IL
obj = emptyObj ;
isPred = False ; isPred = False ;
-- preposition for the direct object comes from VP -- preposition for the direct object comes from VP
sc = v2v.sc sc = v2v.sc