(Ara) Update some categories, add questions

src/arabic/CatAra.gf

@@ -16,16 +16,18 @@ concrete CatAra of Cat = CommonX - [Utt]  ** open ResAra, Prelude, ParamX in {
 
 -- Sentence
 
-    Cl = {s : ResAra.Tense => Polarity => Order => Str} ;
+    Cl = ResAra.Cl ; -- {s : ResAra.Tense => Polarity => Order => Str} ;
---    Slash = {s : Tense => Anteriority => Polarity => Order => Str} ** {c2 : Str} ;
+    ClSlash = ResAra.ClSlash ;
     Imp = {s : Polarity => Gender => ResAra.Number => Str} ;
 
 -- Question
 
-    QCl = {s : ResAra.Tense => Polarity => QForm => Str} ;
+    QCl = ResAra.QCl ; -- {s : ResAra.Tense => Polarity => QForm => Str} ;
-    IP = {s : Str ; n : ResAra.Number} ;
+    IP,
---    IAdv = {s : Str} ;    
+    IDet,
-    IDet = {s : Case => Str ; n : ResAra.Number} ; ---- AR add Case
+    IComp = ResAra.IP ; -- {s : Gender => State => Case => Str ; n : ResAra.Number} ;
+    --    IAdv = {s : Str} ;
+    IQuant = {s : State => Case => Str} ;
 --
 ---- Relative
 --
@@ -35,7 +37,7 @@ concrete CatAra of Cat = CommonX - [Utt]  ** open ResAra, Prelude, ParamX in {
 -- Verb
 
     VP = ResAra.VP ;
-    VPSlash = ResAra.VP ** {c2 : Str} ;
+    VPSlash = ResAra.VPSlash ; -- VP ** {c2:Str}
     Comp = ResAra.Comp ; --{s : AAgr => Case => Str} ; 
 --    SC = {s : Str} ;
 --
@@ -47,18 +49,11 @@ concrete CatAra of Cat = CommonX - [Utt]  ** open ResAra, Prelude, ParamX in {
 
     CN = ResAra.Noun ** {adj : NTable};
     NP, Pron = ResAra.NP; --{s : Case => Str ; a : Agr } ;
-    Num, Ord, Card = ResAra.NumOrdCard ;
+    Ord,
-
+    Num,
+    Card = ResAra.NumOrdCard ;
     Predet = ResAra.Predet ;
 
--- DEPRECATED
---    QuantSg, QuantPl = 
---      {s : Species => Gender => Case => Str; 
---       n : ResAra.Number; 
---       d : State; 
---       isNum : Bool;
---       isPron : Bool} ;
-
     Det = ResAra.Det ;
 --  {s : Species => Gender => Case => Str ; 
 --   d : State; n : Size; isNum : Bool } ;

src/arabic/PhraseAra.gf

@@ -11,7 +11,7 @@ concrete PhraseAra of Phrase = CatAra ** open
     UttImpSg pol imp = {s = \\g => imp.s ! pol.p ! g ! ResAra.Sg ++ pol.s} ;
     UttImpPl,UttImpPol = \pol,imp -> {s = \\g => imp.s ! pol.p ! g ! ResAra.Pl ++ pol.s} ;
 
-    UttIP ip = {s = \\_ => ip.s} ; ---- AR
+    UttIP ip = {s = \\g => ip.s ! g ! Def ! Nom} ; --IL
     UttAP ap = {s = ResAra.uttAP ap} ; --IL
     UttCard c = {s = ResAra.uttNum c} ; --IL
 

src/arabic/QuestionAra.gf

@@ -1,4 +1,4 @@
-concrete QuestionAra of Question = CatAra ** open ResAra, ParamX, Prelude in {
+concrete QuestionAra of Question = CatAra ** open ResAra, ParamX, Prelude, VerbAra in {
 
   flags optimize=all_subs ; coding = utf8 ;
 
@@ -12,13 +12,16 @@ concrete QuestionAra of Question = CatAra ** open ResAra, ParamX, Prelude in {
         }
       };
 
+    -- ComplSlashIP vps ip = {} ;
 
 -- AR copied from PredVP
     QuestVP qp vp = 
       { s =\\t,p,_ => 
           let {
-----            o = Verbal ; ---- AR 
+  ----            o = Verbal ; ---- AR
-            np = {s = table Case {_ => qp.s} ; a ={pgn = Per3 Masc qp.n ; isPron = False}} ;
+	    objgn = pgn2gn vp.obj.a.pgn ;
+	    np = {s = qp.s ! objgn.g ! Def ; ----IL just guessing state
+		  a ={pgn = Per3 Masc qp.n ; isPron = False}} ;
             pgn = np.a.pgn ;
             gn = pgn2gn pgn;
             kataba  = vp.s ! pgn ! VPPerf ;
@@ -60,47 +63,48 @@ concrete QuestionAra of Question = CatAra ** open ResAra, ParamX, Prelude in {
    ; ----  };
 
 
---    QuestSlash ip slash = {
---      s = \\t,a,p => 
---            let 
---              cls = slash.s ! t ! a ! p ;
---              who = slash.c2 ++ ip.s ! Acc --- stranding in ExtAra 
---            in table {
---              QDir   => who ++ cls ! OQuest ;
---              QIndir => who ++ cls ! ODir
---              }
---      } ;
---
-
 ---- AR guessed
-    QuestIAdv iadv cl = {s = \\t,p,_ => iadv.s ++ cl.s ! t ! p ! Verbal} ;
+   QuestIAdv iadv cl = {s = \\t,p,_ => iadv.s ++ cl.s ! t ! p ! Verbal} ;
 
---      s = \\t,a,p => 
+---- IL guessed
---            let 
+   QuestIComp icomp np =
---              cls = cl.s ! t ! a ! p ;
+     let vp = kaan (CompNP np) in
---              why = iadv.s
+      QuestVP icomp vp ;
---            in table {
---              QDir   => why ++ cls ! OQuest ;
---              QIndir => why ++ cls ! ODir
---              }
---      } ;
---
---    PrepIP p ip = {s = p.s ++ ip.s ! Nom} ;
---
---    AdvIP ip adv = {
---      s = \\c => ip.s ! c ++ adv.s ;
---      n = ip.n
---      } ;
--- 
 
----- AR guesses
+   CompIP ip = ip ;
-    IdetCN idet cn = {
+   -- old, when IComp = Comp { s = \\{g=g ; n=_},c => ip.s ! g ! Def ! c } ; ----
-      s = idet.s ! Nom ++ cn.s ! idet.n ! Indef ! Nom ; 
+
-      n = idet.n
+   CompIAdv iadv = mkIP iadv.s ResAra.Sg ;
+
+   --  QCl = {s : R.Tense => Polarity => QForm => Str} ;
+   QuestSlash ip cl = { ----IL just guessing
+      s = \\t,p,qf => case qf of {
+	QDir   => cl.s ! t ! p ! Verbal ++ cl.c2  ++ ip.s ! Masc ! Def ! Nom ; --VSO (purely guessing)
+	QIndir => cl.s ! t ! p ! Nominal ++ cl.c2 ++ ip.s ! Masc ! Def ! Nom } --SVO (purely guessing)
       } ;
-    IdetQuant idet num = {
+
-      s = \\c => idet.s ++ num.s ! Masc ! Indef ! c; 
+   PrepIP p ip = {s = p.s ++ ip.s ! Masc ! Def ! Acc} ; ----IL
-      n = ResAra.Sg ---- size of Num
+
-      } ;
+   AdvIP ip adv = ip ** {
---
+     s = \\g,s,c => ip.s ! g ! s ! c ++ adv.s ;
+     n = ip.n
+     } ;
+
+----IL guessed with help of L and Google translate
+   -- : IDet -> IP
+   IdetIP idet = idet ; -- Gender still matters if turned into IComp
+
+   -- : IDet -> CN -> IP
+   IdetCN idet cn = idet ** {
+     s = \\g,s,c => idet.s ! cn.g ! s ! c ++ -- gender is determined by the CN
+                     cn.s ! idet.n ! Indef ! Gen ; --idaafa
+     } ;
+
+   -- : IQuant -> Num -> IDet
+   IdetQuant iquant num = {
+     s = \\g,s,c =>
+          let gend = detGender g num.n -- gender flips with some numbers
+          in  iquant.s ! s ! c ++ num.s ! gend ! s ! c ;
+     n = sizeToNumber num.n
+     } ;
 }

src/arabic/ResAra.gf

@@ -7,7 +7,7 @@
 ---- implement $Test$, it moreover contains regular lexical
 ---- patterns needed for $Lex$.
 --
-resource ResAra = PatternsAra ** open  Prelude, Predef   in {
+resource ResAra = PatternsAra ** open  Prelude, Predef, ParamX  in {
 
   flags optimize=noexpand ; coding=utf8 ;
 
@@ -114,7 +114,11 @@ resource ResAra = PatternsAra ** open  Prelude, Predef   in {
     uttAP : AP -> (Gender => Str) ;
     uttAP ap = \\g => ap.s ! NoHum ! g ! Sg ! Def ! Nom ; ----IL
 
-    NumOrdCard : Type = {s : Gender => State => Case => Str ; n : Size };
+    NumOrdCard : Type = {
+      s : Gender => State => Case => Str ;
+      n : Size ;
+      } ;
+
     uttNum : NumOrdCard -> (Gender => Str) ;
     uttNum n = \\g => n.s ! g ! Def ! Nom ;  ----IL
     
@@ -980,8 +984,8 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
       };
  
 
-    mkIP : Str -> Number -> {s : Str ; n : Number} =
+    mkIP : Str -> Number -> IP =
-     \s,n -> {s = s ; n = n} ;
+     \s,n -> {s = \\_g,_s,_c => s ; n = n} ;
 
     mkOrd : (_,_ : Str) -> NumOrdCard =
       \aysar,yusra -> 
@@ -1027,7 +1031,14 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
       s : Case => Str ; 
       a : Agr 
       } ;
-    
+
+    IP : Type = {
+      s : Gender  -- because of CompIP
+	=> State => Case -- because of PrepIP: e.g. "in which" chooses definite accusative
+	=> Str ;
+      n : Number
+      } ;
+
     param VPForm =
         VPPerf 
       | VPImpf Mood 
@@ -1089,6 +1100,15 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
     kaan : {s : AAgr => Case => Str} -> VP = \xabar -> 
       insertPred xabar (predV (v1hollow {f = "ك"; c = "و" ; l = "ن"} u) );
 
+    -- Slash categories
+    VPSlash : Type = VP ** {c2 : Str} ;
+    ClSlash : Type = Cl ** {c2 : Str} ;
+
+    Cl  : Type = {s : Tense => Polarity => Order => Str} ;
+    QCl : Type = {s : Tense => Polarity => QForm => Str} ;
+
+--TODO:   slashRCl : ClSlash -> RP -> RCl ;
+    
   param
 
     Size = One | Two | ThreeTen | Teen | NonTeen | Hundreds | None ;

src/arabic/SentenceAra.gf

@@ -71,7 +71,6 @@ concrete SentenceAra of Sentence = CatAra ** open
               np.s ! Nom ++ (vStr t p) ++ vp.obj.s ++ vp.s2 ++ (pred t p)
           } 
       };
-    --    PredVP np vp = mkClause (np.s ! Nom) np.a vp ;
 
 --    PredSCVP sc vp = mkClause sc.s (agrP3 Sg) vp ;
 
@@ -91,14 +90,16 @@ concrete SentenceAra of Sentence = CatAra ** open
 --      mkClause (np.s ! Nom) np.a 
 --        (insertObj (\\a => infVP vv.isAux (predV v2) a) (predVV vv))  **
 --        {c2 = v2.c2} ;
---
+
---    AdvSlash slash adv = {
+-- ClSlash
---      s  = \\t,a,b,o => slash.s ! t ! a ! b ! o ++ adv.s ;
+
---      c2 = slash.c2
+    SlashVP np vps = PredVP np vps ** { c2 = vps.c2 } ;
---    } ;
+    AdvSlash slash adv = slash ** { s2 = slash.s2 ++ adv.s } ;
---
+    SlashPrep cl prep = cl ** {c2 = prep.s} ;
---    SlashPrep cl prep = cl ** {c2 = prep.s} ;
+
---
+--  SlashVS np vs sslash = TODO
+
+
 --    EmbedS  s  = {s = conjThat ++ s.s} ;
 --    EmbedQS qs = {s = qs.s ! QIndir} ;
 --    EmbedVP vp = {s = infVP False vp (agrP3 Sg)} ; --- agr