arabic

lib/resource-1.0/arabic/AdjectiveAra.gf

@@ -0,0 +1,45 @@
+concrete AdjectiveAra of Adjective = CatAra ** open ResAra, Prelude in {
+
+  lin
+
+    PositA a = {
+      s = 
+        table {
+          Hum => a.s ;
+          NoHum => \\g,n =>
+            case n of {
+              Pl => a.s ! Fem ! Sg  ;
+              _  => a.s ! g ! n 
+            }
+        } 
+      };
+--    ComparA a np = {
+--      s = \\_ => a.s ! AAdj Compar ++ "تهَن" ++ np.s ! Nom ; 
+--      isPre = False
+--      } ;
+--
+---- $SuperlA$ belongs to determiner syntax in $Noun$.
+--
+--    ComplA2 a np = {
+--      s = \\_ => a.s ! AAdj Posit ++ a.c2 ++ np.s ! Acc ; 
+--      isPre = False
+--      } ;
+--
+--    ReflA2 a = {
+--      s = \\ag => a.s ! AAdj Posit ++ a.c2 ++ reflPron ! ag ; 
+--      isPre = False
+--      } ;
+--
+--    SentAP ap sc = {
+--      s = \\a => ap.s ! a ++ sc.s ; 
+--      isPre = False
+--      } ;
+--
+--    AdAP ada ap = {
+--      s = \\a => ada.s ++ ap.s ! a ;
+--      isPre = ap.isPre
+--      } ;
+--
+--    UseA2 a = a ;
+--
+}

lib/resource-1.0/arabic/AdverbAra.gf

@@ -0,0 +1,21 @@
+concrete AdverbAra of Adverb = CatAra ** open ResAra, Prelude in {
+--
+--  lin
+--    PositAdvAdj a = {s = a.s ! AAdv} ;
+--    ComparAdvAdj cadv a np = {
+--      s = cadv.s ++ a.s ! AAdv ++ "تهَن" ++ np.s ! Nom
+--      } ;
+--    ComparAdvAdjS cadv a s = {
+--      s = cadv.s ++ a.s ! AAdv ++ "تهَن" ++ s.s
+--      } ;
+--
+--    PrepNP prep np = {s = prep.s ++ np.s ! Acc} ;
+--
+--    AdAdv = cc2 ;
+--
+--    SubjS = cc2 ;
+--    AdvSC s = s ; --- this rule give stack overflow in ordinary parsing
+--
+--    AdnCAdv cadv = {s = cadv.s ++ "تهَن"} ;
+--
+}

lib/resource-1.0/arabic/CatAra.gf

@@ -0,0 +1,99 @@
+concrete CatAra of Cat = CommonX - [Utt]  ** open ResAra, Prelude, ParamX in {
+
+  flags optimize=all_subs ;
+
+  lincat
+
+-- Phrase
+
+    Utt = {s : Gender => Str};
+--    Voc = {s : Str} ;
+
+-- Tensed/Untensed
+
+    S  = {s : Str} ;
+    QS = {s : QForm => Str} ;
+--    RS = {s : Agr => Str} ;
+
+-- Sentence
+
+    Cl = {s : ResAra.Tense => Polarity => Order => Str} ;
+--    Slash = {s : Tense => Anteriority => Polarity => Order => Str} ** {c2 : Str} ;
+    Imp = {s : Polarity => Gender => ResAra.Number => Str} ;
+
+-- Question
+
+    QCl = {s : ResAra.Tense => Polarity => QForm => Str} ;
+    IP = {s : Str ; n : ResAra.Number} ;
+--    IAdv = {s : Str} ;    
+--    IDet = {s : Str ; n : ResAra.Number} ;
+--
+---- Relative
+--
+--    RCl = {s : Tense => Anteriority => Polarity => Agr => Str} ;
+--    RP = {s : Case => Str ; a : RAgr} ;
+--
+-- Verb
+--
+{-
+    VP = {
+      s : Tense => Polarity => Order => Agr => Str;
+      comp : NP
+      };
+-}
+    VP = ResAra.VP ;
+    Comp = ResAra.Comp ; --{s : AAgr => Case => Str} ; 
+--    SC = {s : Str} ;
+--
+-- Adjective
+
+    AP = {s : Species => Gender => NTable } ; 
+
+-- Noun
+
+    CN = ResAra.Noun;
+    NP, Pron = ResAra.NP; --{s : Case => Str ; a : Agr } ;
+    Num, Ord = {s : Gender => State => Case => Str ;
+                n : Size };
+    Predet, QuantSg, QuantPl = 
+      {s : Species => Gender => Case => Str; 
+       n : ResAra.Number; d : State; isNum : Bool} ;
+    Det = ResAra.Det ;
+--      {s : Species => Gender => Case => Str ; d : State; n : Size; isNum : Bool } ;
+    Quant = {s : ResAra.Number => Species => Gender => Case => Str; d : State} ;
+
+-- Adverb
+
+--    Adv, AdV, AdA, AdS, AdN = {s : Str} ;
+
+-- Numeral
+
+    Numeral = {s : Gender => State => Case => Str ; 
+               n : Size } ;
+
+
+---- Structural
+--
+    Conj = {s : Str ; n : ResAra.Number} ;
+--    DConj = {s1,s2 : Str ; n : ResAra.Number} ;
+--    PConj = {s : Str} ;    
+--    CAdv = {s : Str} ;    
+--    Subj = {s : Str} ;
+    Prep = {s : Str} ;
+--
+-- Open lexical classes, e.g. Lexicon
+    
+    V, VS, VQ, VA = ResAra.Verb ; -- = {s : VForm => Str} ;
+    V2, V2A = ResAra.Verb ** {c2 : Str} ;
+    V3 = ResAra.Verb ** {c2, c3 : Str} ;
+--    VV = {s : VVForm => Str ; isAux : Bool} ;
+--
+    A = ResAra.Adj ;
+    A2 = ResAra.Adj ** {c2 : Str} ;
+--
+    N, N2 = ResAra.Noun ; --{s : ResAra.Number => State => Case => Str; g : Gender ; h = Species} ;
+--    N2 = {s : ResAra.Number => Case => Str} ** {c2 : Str} ;
+    N3 = ResAra.Noun ** {c2,c3 : Str} ;
+    PN = {s : Case => Str} ;
+
+}

lib/resource-1.0/arabic/ConjunctionAra.gf

@@ -0,0 +1,45 @@
+concrete ConjunctionAra of Conjunction = 
+  CatAra ** open ResAra, Coordination, Prelude in {
+--
+--  flags optimize=all_subs ;
+--
+--  lin
+--
+--    ConjS = conjunctSS ;
+--    DConjS = conjunctDistrSS ;
+--
+--    ConjAdv = conjunctSS ;
+--    DConjAdv = conjunctDistrSS ;
+--
+--    ConjNP conj ss = conjunctTable Case conj ss ** {
+--      a = {n = conjNumber conj.n ss.a.n ; p = ss.a.p}
+--      } ;
+--    DConjNP conj ss = conjunctDistrTable Case conj ss ** {
+--      a = {n = conjNumber conj.n ss.a.n ; p = ss.a.p}
+--      } ;
+--
+--    ConjAP conj ss = conjunctTable Agr conj ss ** {
+--      isPre = ss.isPre
+--      } ;
+--    DConjAP conj ss = conjunctDistrTable Agr conj ss ** {
+--      isPre = ss.isPre
+--      } ;
+--
+---- These fun's are generated from the list cat's.
+--
+--    BaseS = twoSS ;
+--    ConsS = consrSS comma ;
+--    BaseAdv = twoSS ;
+--    ConsAdv = consrSS comma ;
+--    BaseNP x y = twoTable Case x y ** {a = conjAgr x.a y.a} ;
+--    ConsNP xs x = consrTable Case comma xs x ** {a = conjAgr xs.a x.a} ;
+--    BaseAP x y = twoTable Agr x y ** {isPre = andB x.isPre y.isPre} ;
+--    ConsAP xs x = consrTable Agr comma xs x ** {isPre = andB xs.isPre x.isPre} ;
+--
+--  lincat
+--    [S] = {s1,s2 : Str} ;
+--    [Adv] = {s1,s2 : Str} ;
+--    [NP] = {s1,s2 : Case => Str ; a : Agr} ;
+--    [AP] = {s1,s2 : Agr => Str ; isPre : Bool} ;
+--
+}

lib/resource-1.0/arabic/ExtAra.gf

@@ -0,0 +1,26 @@
+concrete ExtAra of ExtAraAbs = CatAra ** open ResAra in {
+--
+--  lincat
+--
+--    Aux = {s : Polarity => Str} ;
+--    
+--  lin
+-- 
+--    PredAux np aux vp = mkClause (np.s ! Nom) np.a {
+--      s = \\t,ant,b,ord,agr => 
+--        let 
+--          fin  = aux.s ! b ;
+--          vf : Str -> Str -> {fin, inf : Str} = \x,y -> 
+--            {fin = x ; inf = y} ;
+--        in
+--        case ant of {
+--          Simul => vf fin [] ;
+--          Anter => vf fin "هَثي"
+--          } ;
+--      s2 = \\agr => infVP vp agr
+--      } ;
+--
+--    can_Aux  = {s = \\p => posneg p "عَن"} ; ---- cannt
+--    must_Aux = {s = \\p => posneg p "مُست"} ;
+--
+}

lib/resource-1.0/arabic/IdiomAra.gf

@@ -0,0 +1,14 @@
+concrete IdiomAra of Idiom = CatAra ** open Prelude, ResAra in {
+--
+--  flags optimize=all_subs ;
+--
+--  lin
+--    ExistNP np = 
+--      mkClause "تهري" (agrP3 np.a.n) (insertObj (\\_ => np.s ! Acc) (predAux auxBe)) ;
+--    ImpersCl vp = mkClause "ِت" (agrP3 Sg) vp ;
+--    GenericCl vp = mkClause "ْني" (agrP3 Sg) vp ;
+--
+--    ProgrVP vp = insertObj (\\a => vp.ad ++ vp.prp ++ vp.s2 ! a) (predAux auxBe) ;
+--
+}
+

lib/resource-1.0/arabic/IrregAra.gf

@@ -0,0 +1,181 @@
+--# -path=.:prelude:../abstract:../common
+--
+concrete IrregAra of IrregAraAbs = CatAra ** open ParadigmsAra in {
+--
+--flags optimize=values ;
+--
+--  lin
+--  awake_V = irregV "َوَكي" "َوْكي" "َوْكن" ;
+--  bear_V = irregV "بَر" "بْري" "بْرن" ;
+--  beat_V = irregV "بَت" "بَت" "بَت" ;
+--  become_V = irregV "بعْمي" "بعَمي" "بعْمي" ;
+--  begin_V = irregV "بغِن" "بغَن" "بغُن" ;
+--  bend_V = irregV "بند" "بنت" "بنت" ;
+--  beset_V = irregV "بست" "بست" "بست" ;
+--  bet_V = irregDuplV "بت" "بت" "بت" ;
+--  bid_V = irregDuplV "بِد" (variants {"بِد" ; "بَدي"}) (variants {"بِد" ; "بِدّن"}) ;
+--  bind_V = irregV "بِند" "بُْند" "بُْند" ;
+--  bite_V = irregV "بِتي" "بِت" "بِتّن" ;
+--  bleed_V = irregV "بلّد" "بلد" "بلد" ;
+--  blow_V = irregV "بلْو" "بلو" "بلْون" ;
+--  break_V = irregV "برَك" "برْكي" "برْكن" ;
+--  breed_V = irregV "برّد" "برد" "برد" ;
+--  bring_V = irregV "برِنغ" "برُْغهت" "برُْغهت" ;
+--  broadcast_V = irregV "برَْدعَست" "برَْدعَست" "برَْدعَست" ;
+--  build_V = irregV "بُِلد" "بُِلت" "بُِلت" ;
+--  burn_V = irregV "بُرن" (variants {"بُرند" ; "بُرنت"}) (variants {"بُرند" ; "بُرنت"}) ;
+--  burst_V = irregV "بُرست" "بُرست" "بُرست" ;
+--  buy_V = irregV "بُي" "بُْغهت" "بُْغهت" ;
+--  cast_V = irregV "عَست" "عَست" "عَست" ;
+--  catch_V = irregV "عَتعه" "عَُغهت" "عَُغهت" ;
+--  choose_V = irregV "عهّْسي" "عهْسي" "عهْسن" ;
+--  cling_V = irregV "علِنغ" "علُنغ" "علُنغ" ;
+--  come_V = irregV "عْمي" "عَمي" "عْمي" ;
+--  cost_V = irregV "عْست" "عْست" "عْست" ;
+--  creep_V = irregV "عرّة" "عرةت" "عرةت" ;
+--  cut_V = irregDuplV "عُت" "عُت" "عُت" ;
+--  deal_V = irregV "دَل" "دَلت" "دَلت" ;
+--  dig_V = irregDuplV "دِغ" "دُغ" "دُغ" ;
+--  dive_V = irregV "دِثي" (variants {"دِثد" ; "دْثي"}) "دِثد" ;
+--  do_V = mkV "دْ" "دْس" "دِد" "دْني" "دِْنغ" ;
+--  draw_V = irregV "درَو" "درو" "درَون" ;
+--  dream_V = irregV "درَم" (variants {"درَمد" ; "درَمت"}) (variants {"درَمد" ; "درَمت"}) ;
+--  drive_V = irregV "درِثي" "درْثي" "درِثن" ;
+--  drink_V = irregV "درِنك" "درَنك" "درُنك" ;
+--  eat_V = irregV "َت" "َتي" "َتن" ;
+--  fall_V = irregV "فَلّ" "فلّ" "فَلّن" ;
+--  feed_V = irregV "فّد" "فد" "فد" ;
+--  feel_V = irregV "فّل" "فلت" "فلت" ;
+--  fight_V = irregV "فِغهت" "فُْغهت" "فُْغهت" ;
+--  find_V = irregV "فِند" "فُْند" "فُْند" ;
+--  fit_V = irregDuplV "فِت" "فِت" "فِت" ;
+--  flee_V = irregV "فلّ" "فلد" "فلد" ;
+--  fling_V = irregV "فلِنغ" "فلُنغ" "فلُنغ" ;
+--  fly_V = irregV "فلي" "فلو" "فلْون" ;
+--  forbid_V = irregDuplV "فْربِد" "فْربَدي" "فْربِدّن" ;
+--  forget_V = irregDuplV "فْرغت" "فْرغْت" "فْرغْتّن" ;
+--  forgive_V = irregV "فْرغِثي" "فْرغَثي" "فْرغِثن" ;
+--  forsake_V = irregV "فْرسَكي" "فْرسّْك" "فْرسَكن" ;
+--  freeze_V = irregV "فرّزي" "فرْزي" "فرْزن" ;
+--  get_V = irregDuplV "غت" "غْت" "غْتّن" ;
+--  give_V = irregV "غِثي" "غَثي" "غِثن" ;
+--  go_V = irregV "غْ" "ونت" "غْني" ;
+--  grind_V = irregV "غرِند" "غرُْند" "غرُْند" ;
+--  grow_V = irregV "غرْو" "غرو" "غرْون" ;
+--  hang_V = irregV "هَنغ" "هُنغ" "هُنغ" ;
+--  have_V = mkV "هَثي" "هَس" "هَد" "هَد" "هَثِنغ" ;
+--  hear_V = irregV "هَر" "هَرد" "هَرد" ;
+--  hide_V = irregV "هِدي" "هِد" "هِدّن" ;
+--  hit_V = irregDuplV "هِت" "هِت" "هِت" ;
+--  hold_V = irregV "هْلد" "هلد" "هلد" ;
+--  hurt_V = irregV "هُرت" "هُرت" "هُرت" ;
+--  keep_V = irregV "كّة" "كةت" "كةت" ;
+--  kneel_V = irregV "كنّل" "كنلت" "كنلت" ;
+--  knit_V = irregDuplV "كنِت" "كنِت" "كنِت" ;
+--  know_V = irregV "كنْو" "كنو" "كنْو" ;
+--  lay_V = irregV "لَي" "لَِد" "لَِد" ;
+--  lead_V = irregV "لَد" "لد" "لد" ;
+--  leap_V = irregV "لَة" (variants {"لَةد" ; "لةت"}) (variants {"لَةد" ; "لةت"}) ;
+--  learn_V = irregV "لَرن" (variants {"لَرند" ; "لَرنت"}) (variants {"لَرند" ; "لَرنت"}) ;
+--  leave_V = irregV "لَثي" "لفت" "لفت" ;
+--  lend_V = irregV "لند" "لنت" "لنت" ;
+--  let_V = irregDuplV "لت" "لت" "لت" ;
+--  lie_V = irregV "لِي" "لَي" "لَِن" ;
+--  light_V = irregV "لِغهت" (variants {"لِغهتد" ; "لِت"}) "لِغهتد" ;
+--  lose_V = irregV "لْسي" "لْست" "لْست" ;
+--  make_V = irregV "مَكي" "مَدي" "مَدي" ;
+--  mean_V = irregV "مَن" "مَنت" "مَنت" ;
+--  meet_V = irregV "مّت" "مت" "مت" ;
+--  misspell_V = irregV "مِسّةلّ" (variants {"مِسّةلّد" ; "مِسّةلت"}) (variants {"مِسّةلّد" ; "مِسّةلت"}) ;
+--  mistake_V = irregV "مِستَكي" "مِستّْك" "مِستَكن" ;
+--  mow_V = irregV "مْو" "مْود" (variants {"مْود" ; "مْون"}) ;
+--  overcome_V = irregV "ْثرعْمي" "ْثرعَمي" "ْثرعْمي" ;
+--  overdo_V = mkV "ْثردْ" "ْثردْس" "ْثردِد" "ْثردْني" "ْثردِْنغ" ;
+--  overtake_V = irregV "ْثرتَكي" "ْثرتّْك" "ْثرتَكن" ;
+--  overthrow_V = irregV "ْثرتهرْو" "ْثرتهرو" "ْثرتهرْون" ;
+--  pay_V = irregV "ةَي" "ةَِد" "ةَِد" ;
+--  plead_V = irregV "ةلَد" "ةلد" "ةلد" ;
+--  prove_V = irregV "ةرْثي" "ةرْثد" (variants {"ةرْثد" ; "ةرْثن"}) ;
+--  put_V = irregDuplV "ةُت" "ةُت" "ةُت" ;
+--  quit_V = irregDuplV "قُِت" "قُِت" "قُِت" ;
+--  read_V = irregV "رَد" "رَد" "رَد" ;
+--  rid_V = irregDuplV "رِد" "رِد" "رِد" ;
+--  ride_V = irregV "رِدي" "رْدي" "رِدّن" ;
+--  ring_V = irregV "رِنغ" "رَنغ" "رُنغ" ;
+--  rise_V = irregV "رِسي" "رْسي" "رِسن" ;
+--  run_V = irregDuplV "رُن" "رَن" "رُن" ;
+--  saw_V = irregV "سَو" "سَود" (variants {"سَود" ; "سَون"}) ;
+--  say_V = irregV "سَي" "سَِد" "سَِد" ;
+--  see_V = irregV "سّ" "سَو" "سّن" ;
+--  seek_V = irregV "سّك" "سُْغهت" "سُْغهت" ;
+--  sell_V = irregV "سلّ" "سْلد" "سْلد" ;
+--  send_V = irregV "سند" "سنت" "سنت" ;
+--  set_V = irregDuplV "ست" "ست" "ست" ;
+--  sew_V = irregV "سو" "سود" (variants {"سود" ; "سون"}) ;
+--  shake_V = irregV "سهَكي" "سهّْك" "سهَكن" ;
+--  shave_V = irregV "سهَثي" "سهَثد" (variants {"سهَثد" ; "سهَثن"}) ;
+--  shear_V = irregV "سهَر" "سهْري" "سهْرن" ;
+--  shed_V = irregDuplV "سهد" "سهد" "سهد" ;
+--  shine_V = irregV "سهِني" "سهْني" "سهْني" ;
+--  shoe_V = irregV "سهْي" "سهْد" (variants {"سهْد" ; "سهْد"}) ;
+--  shoot_V = irregV "سهّْت" "سهْت" "سهْت" ;
+--  show_V = irregV "سهْو" "سهْود" (variants {"سهْود" ; "سهْون"}) ;
+--  shrink_V = irregV "سهرِنك" "سهرَنك" "سهرُنك" ;
+--  shut_V = irregDuplV "سهُت" "سهُت" "سهُت" ;
+--  sing_V = irregV "سِنغ" "سَنغ" "سُنغ" ;
+--  sink_V = irregV "سِنك" "سَنك" "سُنك" ;
+--  sit_V = irregDuplV "سِت" "سَت" "سَت" ;
+--  sleep_V = irregV "سلّة" "سلةت" "سلةت" ;
+--  slay_V = irregV "سلَي" "سلو" "سلَِن" ;
+--  slide_V = irregV "سلِدي" "سلِد" "سلِد" ;
+--  sling_V = irregV "سلِنغ" "سلُنغ" "سلُنغ" ;
+--  slit_V = irregDuplV "سلِت" "سلِت" "سلِت" ;
+--  smite_V = irregV "سمِتي" "سمْتي" "سمِتّن" ;
+--  sow_V = irregV "سْو" "سْود" (variants {"سْود" ; "سْون"}) ;
+--  speak_V = irregV "سةَك" "سةْكي" "سةْكن" ;
+--  speed_V = irregV "سةّد" "سةد" "سةد" ;
+--  spend_V = irregV "سةند" "سةنت" "سةنت" ;
+--  spill_V = irregV "سةِلّ" (variants {"سةِلّد" ; "سةِلت"}) (variants {"سةِلّد" ; "سةِلت"}) ;
+--  spin_V = irregDuplV "سةِن" "سةُن" "سةُن" ;
+--  spit_V = irregDuplV "سةِت" (variants {"سةِت" ; "سةَت"}) "سةِت" ;
+--  split_V = irregDuplV "سةلِت" "سةلِت" "سةلِت" ;
+--  spread_V = irregV "سةرَد" "سةرَد" "سةرَد" ;
+--  spring_V = irregV "سةرِنغ" (variants {"سةرَنغ" ; "سةرُنغ"}) "سةرُنغ" ;
+--  stand_V = irregV "ستَند" "ستّْد" "ستّْد" ;
+--  steal_V = irregV "ستَل" "ستْلي" "ستْلن" ;
+--  stick_V = irregV "ستِعك" "ستُعك" "ستُعك" ;
+--  sting_V = irregV "ستِنغ" "ستُنغ" "ستُنغ" ;
+--  stink_V = irregV "ستِنك" "ستَنك" "ستُنك" ;
+--  stride_V = irregV "سترِدي" "سترْد" "سترِدّن" ;
+--  strike_V = irregV "سترِكي" "سترُعك" "سترُعك" ;
+--  string_V = irregV "سترِنغ" "سترُنغ" "سترُنغ" ;
+--  strive_V = irregV "سترِثي" "سترْثي" "سترِثن" ;
+--  swear_V = irregV "سوَر" "سوْري" "سوْرن" ;
+--  sweep_V = irregV "سوّة" "سوةت" "سوةت" ;
+--  swell_V = irregV "سولّ" "سولّد" (variants {"سولّد" ; "سوْلّن"}) ;
+--  swim_V = irregDuplV "سوِم" "سوَم" "سوُم" ;
+--  swing_V = irregV "سوِنغ" "سوُنغ" "سوُنغ" ;
+--  take_V = irregV "تَكي" "تّْك" "تَكن" ;
+--  teach_V = irregV "تَعه" "تَُغهت" "تَُغهت" ;
+--  tear_V = irregV "تَر" "تْري" "تْرن" ;
+--  tell_V = irregV "تلّ" "تْلد" "تْلد" ;
+--  think_V = irregV "تهِنك" "تهُْغهت" "تهُْغهت" ;
+--  thrive_V = irregV "تهرِثي" (variants {"تهرِثد" ; "تهرْثي"}) "تهرِثد" ;
+--  throw_V = irregV "تهرْو" "تهرو" "تهرْون" ;
+--  thrust_V = irregV "تهرُست" "تهرُست" "تهرُست" ;
+--  tread_V = irregV "ترَد" "ترْد" "ترْدّن" ;
+--  understand_V = irregV "ُندرستَند" "ُندرستّْد" "ُندرستّْد" ;
+--  uphold_V = irregV "ُةهْلد" "ُةهلد" "ُةهلد" ;
+--  upset_V = irregDuplV "ُةست" "ُةست" "ُةست" ;
+--  wake_V = irregV "وَكي" "وْكي" "وْكن" ;
+--  wear_V = irregV "وَر" "وْري" "وْرن" ;
+--  weave_V = irregV "وَثي" (variants {"وَثد" ; "وْثي"}) (variants {"وَثد" ; "وْثن"}) ;
+--  wed_V = irregDuplV "ود" "ود" "ود" ;
+--  weep_V = irregV "وّة" "وةت" "وةت" ;
+--  wind_V = irregV "وِند" "وُْند" "وُْند" ;
+--  win_V = irregDuplV "وِن" "وْن" "وْن" ;
+--  withhold_V = irregV "وِتهّْلد" "وِتهّلد" "وِتهّلد" ;
+--  withstand_V = irregV "وِتهستَند" "وِتهستّْد" "وِتهستّْد" ;
+--  wring_V = irregV "ورِنغ" "ورُنغ" "ورُنغ" ;
+--  write_V = irregV "ورِتي" "ورْتي" "ورِتّن" ;
+}

lib/resource-1.0/arabic/LangAra.gf

@@ -0,0 +1,22 @@
+--# -path=.:../abstract:../common:prelude
+
+concrete LangAra of Lang = 
+  NounAra, 
+  VerbAra, 
+  AdjectiveAra,
+  AdverbAra,
+  NumeralAra,
+  SentenceAra,
+  QuestionAra,
+  RelativeAra,
+  ConjunctionAra,
+  PhraseAra,
+  TextX - [Utt],
+  StructuralAra,
+  IdiomAra,
+  LexiconAra
+  ** {
+
+flags startcat = Phr ; unlexer = text ; lexer = text ;
+
+} ;

lib/resource-1.0/arabic/LexiconAra.gf

@@ -0,0 +1,360 @@
+--# -path=.:prelude
+--
+concrete LexiconAra of Lexicon = CatAra ** open 
+  ParadigmsAra, 
+  ResAra,
+  MorphoAra, --shouldn't open it here, only needed reg &sndf
+  Prelude in { 
+
+flags 
+  optimize=values ;
+
+  lin
+
+  airplane_N   = sdfN "ط؟ر" "فاعِلة" Fem NoHum ;
+  answer_V2S   = dirV2 (v3 "جوب") ;
+  apartment_N  = regN "شقّ" "فِعّة" "فِعَل" Fem NoHum ;
+  apple_N      = sdfN "تفح" "فِعّالة" Fem NoHum ;
+  art_N        = regN "فنّ" "فَعّ" "فُعُول" Masc NoHum ;
+  ask_V2Q      = dirV2 (v1 "س؟ل" a a) ;
+  baby_N       = regN "طفل" "فِعل" "أَفعال" Masc Hum;
+  bad_A        = regA "سي؟" "فَعِّل" ;
+  bank_N       = regN "بنك" "فَعل" "فُعُول" Masc NoHum ;
+  beautiful_A  = regA "جمل" "فَعِيل" ;
+  become_VA    = mkVA (v4 "صبح") ;
+  beer_N       = sdfN "بير" "فِعلة" Fem NoHum ;
+  beg_V2V      = dirV2 (v5 "وسل") ;
+  big_A        = regA "كبر" "فَعِيل" ;
+  bike_N       = sdfN "درج" "فَعّالة" Fem NoHum ;
+  bird_N       = regN "طير" "فَعل" "فُعُول" Masc NoHum; 
+  black_A      = clrA "سود" ;
+  blue_A       = clrA "زرق" ;
+  boat_N       = regN "قرب" "فاعِل" "فَواعِل" Masc NoHum ;
+  book_N       = regN "كتب" "فِعال" "فُعُل" Masc NoHum ;
+  boot_N       = sdfN "جزم" "فَعلة" Fem NoHum ;
+  boss_N       = regN "دور" "مُفِيع" "مُفَعاء" Masc Hum ;
+  boy_N        = regN "صبي" "فَعِل" "فُعلان" Masc Hum ;
+  bread_N      = regN "خبز" "فُعل" "أَفعال" Masc NoHum ;
+  break_V2     = dirV2 (v1 "كسر" a u) ;
+  broad_A      = regA "وسع" "فاعِل" ;
+  brother_N2   = regN "؟خو" "فَع" "فِعلة" Masc Hum ; --FIXME
+  brown_A      = regA "بني" "فُعِّل";
+  butter_N     = sdfN "سبد" "فُعلة" Fem NoHum ;
+  buy_V2       = dirV2 (v8 "شري") ;
+  camera_N     = sdfN "كمر" "فاعِيلا" Fem NoHum ; -- |Alö taSwIr
+  cap_N        = sdfN "قبع" "فُعَّلة" Fem NoHum ; --qalnUsö
+  car_N        = sdfN "سير" "فَعّالة" Fem NoHum ;
+  carpet_N     = sdfN "سجد" "فَعّالة" Fem NoHum ;
+  cat_N        = regN "هرّ" "فِعّة" "فِعَل" Fem NoHum ;
+  ceiling_N    = regN "سقف" "فَعل" "أَفعُل" Masc NoHum ;
+  chair_N      = regN "كرس" "فُعلِي" "فَعالِي" Masc NoHum ;
+  cheese_N     = regN "جبن" "فُعلة" "أَفعال" Fem NoHum ;
+  child_N      = regN "ولد" "فَعَل" "أَفعال" Masc Hum ;
+  church_N     = regN "كنس" "فَعِيلة" "فَعاٱِل" Fem Hum ;
+  city_N       = regN "مدن" "فَعِيلة" "فُعُل" Fem NoHum ;
+  clean_A      = regA "نظف" "فَعِيل" ;
+  clever_A     = regA "جهد" "مُفتَعِل" ;
+  close_V2     = dirV2 (v4 "غلق") ;
+  coat_N       = regN "عطف" "مِفعَل" "مَفاعِل" Masc NoHum ;
+  cold_A       = regA "برد" "فاعِل" ;
+  come_V       = v1 "جي؟" a i ; --check
+  computer_N   = regN "حسب" "فاعُول" "فَواعِيل" Masc NoHum ;
+  country_N    = regN "بلد" "فَعَل" "فِعال" Masc NoHum ;
+  cousin_N     = regN "قرب" "فَعِيل" "أَفعِلاء" Masc Hum ; -- (<bn / bnt) (cam[ö] / xAl[ö]) 
+  cow_N        = sdfN "بقر" "فَعلة" Fem NoHum ;
+  die_V        = v1 "موت" a u ; --check
+  dirty_A      = regA "وسخ" "فَعِل" ;
+  distance_N3  = mkN3 (sdfN "سوف" "مَفاعة" Fem NoHum) "مِن" "إِلَى" ;
+  doctor_N     = regN "طبّ" "فَعِيل" "أَفِعّاء" Masc Hum ;
+  dog_N        = regN "كلب" "فَعل" "فِعال" Masc NoHum ;
+  door_N       = regN "بوب" "فاع" "أَفعال" Masc NoHum ;
+  drink_V2     = dirV2 (v1 "شرب" i a) ;
+  easy_A2V     = mkA2 (regA "سهل" "فَعل") "لِ" ;
+  eat_V2       = dirV2 (v1 "؟كل" a u) ;
+  empty_A      = regA "فرج" "فاعِل" ;
+  enemy_N      = regN "عدو" "فَعُلّ" "أَفعاء" Masc Hum ;
+  factory_N    = regN "صنع" "مَفعَل" "مَفاعِل" Masc NoHum ;
+  father_N2    = regN "؟ب" "فَع" "أَفعاء" Masc Hum;
+  fear_VS      = mkVS (v1 "خشي" i a );
+  find_V2      = dirV2 (v1 "وجد" a i ) ;
+  fish_N       = regN "سمك" "فَعَلة" "أَفعال" Fem NoHum ;
+  floor_N      = regN "؟رض" "فَعل" "فَعالِي" Fem NoHum;
+  forget_V2    = dirV2 (v1 "نسي" i a ) ;
+  fridge_N     = sdfN "برد" "فَعّال" Masc NoHum ;
+  friend_N     = regN "صدق" "فَعِيل" "أَفعِلاء" Masc Hum ; --SadIqö
+  fruit_N      = regN "فكه" "فاعِلة" "فَواعِل" Fem NoHum ;
+  fun_AV       = regA "متع" "مُفعِل" ;
+  garden_N     = regN "حدق" "فَعِيلة" "فَعاٱِل" Fem NoHum ;
+  girl_N       = regN "بنت" "فِعل" "فَعال" Fem Hum ;
+  glove_N      = sdfN "قفز" "فُعّال" Masc NoHum ;
+  gold_N       = sdfN "ذهب" "فَعَل" Masc NoHum ;
+  good_A       = regA "جود" "فَيِّع" ; -- Hasan, HisAn
+  go_V         = v1 "ذهب" a a ;
+  green_A      = clrA "خضر" ;
+  harbour_N    = regN "رف؟" "مَفعَل" "مَفاعِل" Masc NoHum ; --mInA', marsaY
+  hate_V2      = dirV2 (v1 "كره" a i ) ;
+  hat_N        = sdfN "قبع" "فُعَّلة" Fem NoHum ;
+  have_V2      = dirV2 (v1 "ملك" a i) ; --FIXME, have is PP in Arabic
+  hear_V2      = dirV2 (v1 "سمع" i a) ;
+  hill_N       = regN "هضب" "فَعلة" "فِعال" Fem NoHum ; --tallö, rAbiyö
+  hope_VS      = mkVS (v1 "رجو" a u) ; --check
+  horse_N      = regN "حصن" "فِعال" "أَفعِلة" Masc NoHum ;
+  hot_A        = regA "سخن" "فاعِل" ; --HAr
+  house_N      = regN "بيت" "فَعل" "فُعُول" Masc NoHum ; --manzil
+  important_A  = regA "هيم" "فاعّ" ;
+  industry_N   = sdfN "صنع" "فِعالة" Fem NoHum ;
+  iron_N       = regN "حدّ" "فَعِيل" "فَعائِل" Masc NoHum ;
+  king_N       = regN "ملك" "فَعِل" "فُعُول" Masc Hum ;
+  know_V2      = dirV2 (v1 "عرف" i a) ;
+  lake_N       = sdfN "بحر" "فُعَيلة" Fem NoHum ;
+  lamp_N       = regN "صبح" "مِفعال" "مَفاعِيل" Masc NoHum ; --qanDIl, fAnUs
+  learn_V2     = dirV2 (v5 "علم") ;
+  leather_N    = regN "جلد" "فِعل" "فُعُول" Masc NoHum ;
+  leave_V2     = dirV2 (v1 "ترك" a u) ;
+  like_V2      = dirV2 (v1 "هوي" i a) ; --check
+  listen_V2    = mkV2 (v8 "سمع") "إِلَى" ;
+  live_V       = v1 "عيش" a i ; --check
+  long_A       = regA "طول" "فَعِيل" ;
+  lose_V2      = dirV2 (v1 "خسر" i a) ; --Dayyac, >aDAc
+  love_N       = regN "حبّ" "فُعّ" "فُعّ" Masc NoHum ; -- no plur
+  love_V2      = dirV2 (v1 "حبّ" a i) ;
+  man_N        = regN "رجل" "فَعُل" "فِعال" Masc Hum ;
+  married_A2   = mkA2 (regA "زوج" "مُتَفَعِّل") "مِن" ;
+  meat_N       = regN "لحم" "فَعلة" "فُعُول" Masc NoHum ;
+  milk_N       = regN "حلب" "فَعِيل" "فَعِيل" Masc NoHum ; --no plur
+  moon_N       = regN "قمر" "فَعَل" "أَفعال" Masc NoHum ;
+  mother_N2    = sdfN "؟م" "فُعّ" Fem Hum ;
+  mountain_N   = regN "جبل" "فَعَل" "فِعال" Masc NoHum ;
+  music_N      = mkN (reg "مُوسِيقَى" "مُوسِيقَى") Fem NoHum ; --no plur
+  narrow_A     = regA "ضيق" "فَعِّل" ;
+  new_A        = regA "جدّ" "فَعِيل" ;
+  newspaper_N  = regN "صحف" "فَعِيلة" "فُعُل" Fem NoHum ;
+  oil_N        = regN "زيت" "فَعل" "فُعُول" Masc NoHum ;
+  old_A        = regA "قدم" "فَعِيل" ;
+  open_V2      = dirV2 (v1 "فتح" a a ) ;
+  paint_V2A    = mkV2A (v1 "دهن" a u ) [] ;
+  paper_N      = regN "ورق" "فَعَلة" "أَفعال" Fem NoHum ;
+--  paris_PN     = regPN "بارِيس" nonhuman ;
+  peace_N      = regN "سلم" "فَعال" "فَعال" Masc NoHum; --no plur
+  pen_N        = regN "قلم" "فَعَل" "أَفعال" Masc NoHum;
+  planet_N     = mkN (reg "كَوكَب" "كَواكِب") Masc NoHum ; -- quadriconsonantal
+  plastic_N    = mkN (sndf "بلاستِيك") Masc NoHum ;
+  play_V2      = dirV2 (v1 "لعب" i a) ;
+  policeman_N  = sdmN "شرط" "فِعلِي" Masc Hum ;
+  priest_N     = regN "قسّ" "فِعِّيل" "أَفِعّة" Masc Hum ;
+  probable_AS  = mkAS (regA "مكن" "مُفعِل") ;
+  queen_N      = sdfN "ملك" "فَعِلة" Fem Hum ;
+  radio_N      = mkN (sndf "راديُو") Masc NoHum ;
+  rain_V0      = mkV0 (v1 "مطر" a u) ;
+  read_V2      = dirV2 (v1 "قر؟" a a ) ;
+  red_A        = clrA "حمر" ;
+  religion_N   = regN "دين" "فِعل" "أَفعال" Masc NoHum ;
+  restaurant_N = regN "طعم" "مَفعَل" "مَفاعِل" Masc NoHum ;
+  river_N      = regN "نهر" "فَعل" "أَفعال" Masc NoHum ;
+  rock_N       = regN "صخر" "فَعلة" "فُعُول" Fem NoHum ;
+  roof_N       = regN "سطح" "فَعل" "أَفعُل" Masc NoHum ;
+  rubber_N     = regN "مطّ" "فَعّال" "فَعّال" Masc NoHum ; -- no hum
+  run_V        = v1 "ركض" a u ;
+  say_VS       = mkVS (v1 "قول" a u) ; --check
+  school_N     = regN "درس" "مَسفعَلة" "مَفاعِل" Masc NoHum ;
+  science_N    = regN "علم" "فِعل" "فُعُول" Masc NoHum ;
+  sea_N        = regN "بحر" "فَعل" "فُعُول" Masc NoHum ;
+  seek_V2      = dirV2 (v1 "طلب" a u) ; 
+  see_V2       = dirV2 (v1 "ر؟ي" a a) ;
+  sell_V3      = dirdirV3 (v1 "بيع" a i) ; --check
+  send_V3      = dirdirV3 (v4 "رسل")  ;
+  sheep_N      = regN "خرف" "فَعُول" "فِعال" Masc NoHum ;
+  ship_N       = regN "سفن" "فَعِيلة" "فُعُل" Fem NoHum ;
+  shirt_N      = regN "قمص" "فَعِيل" "فُعلان" Masc NoHum ;
+  shoe_N       = regN "حذو" "فِعاء" "أَفعِية" Masc NoHum ;
+  shop_N       = regN "تجر" "مَفعَل" "مَفاعِل" Masc NoHum ;
+  short_A      = regA "قصر" "فَعِيل" ;
+  silver_N     = regN "فضّ" "فِعّة" "فِعَل" Fem NoHum ;
+  sister_N     = regN "؟خو" "فُعت" "فَعَوات" Fem Hum ; --FIXME
+  sleep_V      = v1 "نوم" i a ; --check
+  small_A      = regA "صغر" "فَعِيل" ;
+  snake_N      = sdfN "حيّ" "فَعّة" Fem NoHum ;
+  sock_N       = regN "جرب" "فَوعَل" "فَواعِل" Masc NoHum ;
+  speak_V2     = dirV2 (v5 "كلم") ;
+  star_N       = regN "نجم" "فَعل" "فُعُول" Masc NoHum ; --najmö
+  steel_N      = regN "فلذ" "فُوعال" "فَواعِل" Masc NoHum ;
+  stone_N      = regN "حجر" "فَعَل" "أَفعال" Masc NoHum ;
+  stove_N      = regN "وقد" "مَفعِل" "مَفاعِل" Masc NoHum ;
+  student_N    = regN "طلب" "فاعِل" "فُعّال" Masc Hum ; --tilmI*
+  stupid_A     = clrA "بله" ;
+  sun_N        = regN "شمس" "فَعل" "فُعُول" Fem NoHum ;
+  switch8off_V2 = dirV2 (v4 "طف؟") ;
+  switch8on_V2 = dirV2 (v4 "شعل") ;
+  table_N      = sdfN "طول" "فاعِلة" Fem NoHum ;
+  talk_V3      = mkV3 (v5 "حدث") "لِ" "عَن" ;
+  teacher_N    = sdmN "علم" "مُفَعِّل" Masc Hum ; --mucal~imö
+  teach_V2     = dirV2 (v2 "علم") ;
+  television_N = mkN (sndf "تِلِفِزيُون") Masc NoHum ;
+  thick_A      = regA "سمك" "فَعِيل" ;
+  thin_A       = regA "رفع" "فَعِيل" ;
+  train_N      = sdfN "قطر" "فِعال" Masc NoHum;
+  travel_V     = v3 "سفر" ;
+  tree_N       = regN "شجر" "فَعلة" "أَفعال" Fem NoHum ;
+  ugly_A       = regA "قبح" "فَعِيل" ;
+  understand_V2 = dirV2 (v1 "فهم" i a ) ;
+  university_N = sdfN "جمع" "فاعِلة" Fem NoHum ;
+  village_N    = regN "قري" "فَعلة" "فُعَى" Fem NoHum ; --Daycö
+  wait_V2      = dirV2 (v8 "نظر")  ;
+  walk_V       = v1 "مشي" a i ; --check
+  warm_A       = regA "دف؟" "فاعِل" ;
+  war_N        = regN "حرب" "فَعل" "فُعُول" Fem NoHum ;
+  watch_V2     = dirV2 (v3 "شهد") ;
+  water_N      = mkN (reg "ماء" "مِياه") Fem NoHum ; --"موه" "فاء" "فِياع" ??
+  white_A      = clrA "بيض" ;
+  window_N     = regN "نفذ" "فاعِلة" "فَواعِل" Fem NoHum ; --$ub~Ak
+  wine_N       = regN "خمر" "فَعل" "فُعُول" Masc NoHum ;
+  win_V2       = dirV2 (v1 "ربح" a i) ;
+  woman_N      = mkN (reg "إِمرَأَة" "نِسوَة") Fem Hum ;
+  wonder_VQ    = mkVQ (v6 "س؟ل") ;
+  wood_N       = regN "خشب" "فَعَل" "أَفعال" Masc NoHum ;
+  write_V2     = dirV2 (v1 "كتب" a u) ;
+  yellow_A     = clrA "صفر" ;
+  young_A      = regA "شبّ" "فاعّ" ;
+
+  do_V2        = dirV2 (v1 "فعل" a a ) ;
+  now_Adv      = mkAdv "الآن" ;
+  already_Adv  = mkAdv "سابِقاً" ; 
+  song_N       = regN "غني" "أَفعِلة" "أَفاعِي" Fem NoHum ;
+  add_V3       = dirV3 (v1 "جمع" a a) "وَ" ;
+  number_N     = regN "رقم" "فَعل" "أَفعال" Masc NoHum ; --cadad
+  put_V2       = dirV2 (v1 "وضع" a a );
+  stop_V       = v5 "وقف" ;
+  jump_V       = v1 "قفز" a i ;
+
+  left_Ord     = mkOrd "أَيسَر" "يُسرَى";
+  right_Ord    = mkOrd "أَيمَن" "يُمنَى" ;
+
+  far_Adv      = mkAdv "بَعِيداً" ;
+  correct_A    = regA "صحّ" "فَعِيل" ;
+  dry_A        = regA "نشف" "فاعِل" ;
+  dull_A       = regA "بهت" "فاعِل" ;
+  full_A       = regA "مل؟" "فَعِيل" ;
+  heavy_A      = regA "ثقل" "فَعِيل" ;
+  near_A       = regA "قرب" "فَعِيل" ;
+  rotten_A     = regA "فسد" "فاعِل" ;
+  round_A      = regA "دور" "مُفَعَّل" ;
+  sharp_A      = regA "حدّ" "فاعّ" ;
+  smooth_A     = regA "نعم" "فاعِل" ;
+  straight_A   = regA "قوم" "مُستَفِيع" ;
+  wet_A        = regA "رطب" "فَعِل" ;
+  wide_A       = regA "وسع" "فاعِل" ;
+
+  animal_N     = sdfN "حيّ" "فَعَوان"           Masc NoHum ;
+  ashes_N      = regN "رمد" "فَعال" "أَفعِلة"   Masc NoHum;           
+  back_N       = regN "ظهر" "فَعل" "فُعُول"      Masc NoHum;           
+  bark_N       = regN "نبح" "فَعل" "فُعال"      Masc NoHum;           
+  belly_N      = regN "بطن" "فَعل" "فُعُول"      Fem  NoHum;           
+  blood_N      = regN "دم"  "فَع" "فِعاء"       Masc NoHum;           
+  bone_N       = regN "عظم" "فَعلة" "فِعال"     Fem  NoHum;           
+  breast_N     = regN "صدر" "فَعل" "فُعُول"      Masc NoHum;           
+  cloud_N      = regN "غيم" "فَعلة" "فُعُول"     Fem  NoHum;           
+  day_N        = regN "يوم" "فَعل" "أَفّاع"     Masc NoHum;           
+  dust_N       = regN "غبر" "فُعال" "أَفعِلة"   Masc NoHum;           
+  ear_N        = regN "؟ذن" "فُعل" "أَفعال"     Fem NoHum;            
+  earth_N      = regN "ترب" "فُعلة" "فُعَل"     Fem NoHum;            
+  egg_N        = sdfN "بيض" "فَعلة"             Fem NoHum;            
+  eye_N        = regN "عين" "فَعل" "فُعُول"      Fem NoHum;            
+  fat_N        = regN "دهن" "فُعل" "فُعُول"      Masc NoHum ;          
+  feather_N    = sdfN "ريش" "فِعلة"             Fem NoHum;            
+  fingernail_N = regN "ظفر" "فُعل" "أَفاعِل"    Masc NoHum;           
+  fire_N       = regN "نور" "فاع" "فِيعان"       Fem NoHum;            
+  flower_N     = regN "زهر" "فَعلة" "فُعُول"     Fem NoHum;            
+  fog_N        = regN "ضبّ" "فَعال" "فَعال"     Masc NoHum; --no plural ?
+  foot_N       = regN "قدم" "فَعَل" "أَفعال"    Fem NoHum;            
+  forest_N     = sdfN "غيب" "فاعة"              Fem NoHum;            
+  grass_N      = regN "عشب" "فُعلة" "أَفعال"    Fem NoHum;            
+  guts_N       = regN "حشو" "فَعا" "أَفعاء"     Fem NoHum;            
+  hair_N       = sdfN "شعر" "فَعلة"             Fem NoHum ;           
+  hand_N       = regN "يد"  "فَع" "أَفاعِي"      Fem NoHum  ;  
+  head_N       = regN "ر؟س" "فَعل" "فُعُول"      Masc NoHum;           
+  heart_N      = regN "قلب" "فَعل" "فُعُول"      Masc NoHum;           
+  horn_N       = regN "قرن" "فَعل" "فُعُول"      Masc NoHum;           
+  husband_N    = regN "زوج" "فَعل" "أَفعال"     Masc NoHum;           
+  ice_N        = regN "ثلج" "فَعل" "فُعُول"      Masc NoHum;           
+  knee_N       = regN "ركب" "فُعلة" "فُعَل"     Fem NoHum;            
+  leaf_N       = regN "ورق" "فَعَلة" "أَفعال"   Fem NoHum;             
+  leg_N        = regN "رجل" "فِعل" "أَفعُل"     Fem NoHum;            
+  liver_N      = regN "كبد" "فَعِل" "أَفعال"    Masc NoHum ;          
+  louse_N      = sdfN "قمل" "فَعلة"             Fem NoHum;            
+  mouth_N      = regN "فوه" "فُعل" "أَفعال"     Masc NoHum ;          
+  name_N       = regN "؟سم" "فِعل" "فَعالِي"     Masc NoHum;           
+  neck_N       = regN "رقب" "فَعَلة" "فِعال"    Fem NoHum;            
+  night_N      = regN "ليل" "فَعلة" "فَعالِي"    Fem NoHum;  --plural? 
+  nose_N       = regN "؟نف" "فَعل" "فُعُول"      Masc NoHum;           
+  person_N     = regN "شخص" "فَعل" "أَفعال"     Masc Hum;             
+  rain_N       = regN "مطر" "فَعَل" "أَفعال"    Masc NoHum;           
+  road_N       = regN "طرق" "فَعِيل" "فُعُل"     Fem NoHum;            
+  root_N       = regN "جذر" "فَعل" "فُعُول"      Masc NoHum ;          
+  rope_N       = regN "حبل" "فَعل" "فِعال"      Masc NoHum;           
+  salt_N       = regN "ملح" "فِعل" "أَفعال"     Masc NoHum;           
+  sand_N       = regN "رمل" "فَعل" "فِعال"      Masc NoHum;           
+  seed_N       = regN "بذر" "فَعل" "فُعُول"      Masc NoHum;           
+  skin_N       = regN "جلد" "فِعل" "فُعُول"      Masc NoHum;           
+  sky_N        = sdfN "سمو" "فَعاء"             Fem NoHum;
+  smoke_N      = regN "دخن" "فُعال" "أَفعِلة"   Masc NoHum;           
+  snow_N       = regN "ثلج" "فَعل" "فُعُول"      Masc NoHum;           
+  stick_N      = regN "عصو" "فَعا" "فِعِي"       Masc NoHum ; --"عصو"  
+  tail_N       = regN "ذنب" "فَعَل" "أَفعال"    Masc NoHum;           
+  tongue_N     = regN "لسن" "فِعال" "أَفعِلة"   Masc NoHum;           
+  tooth_N      = regN "سنّ" "فِعل" "أَفعال"     Masc NoHum ;          
+  wife_N       = sdfN "زوج" "فَعلة"             Fem Hum;              
+  wind_N       = regN "ريح" "فِعل" "فِعال"      Fem NoHum;            
+  wing_N       = regN "جنح" "فَعال" "أَفعِلة"   Masc NoHum ;           
+  worm_N       = regN "دود" "فُعلة" "فِيعان"     Fem NoHum ;                       
+  year_N       = sdfN "سن"  "فَعة"              Fem NoHum   ;              
+
+  blow_V       = v1 "نفخ" a u ;
+  breathe_V    = dirV2 (v5 "نفس") ;
+  burn_V       = v1 "حرق" a i ;
+  dig_V        = v1 "حفر" a i ;
+  fall_V       = v1 "وقع" a a ;
+  float_V      = v1 "عوم" a u ;
+  flow_V       = v1 "سيل" a i ;
+  fly_V        = v1 "طير" a i ;
+  freeze_V     = v2 "جمد" ;
+  give_V3      = dirdirV3 (v4 "عطي") ;
+  laugh_V      =  v1 "ضحك" i a ;
+  lie_V        = v1 "كذب" a i ;
+  play_V       = v1 "لعب" i a ;
+  sew_V        = v1 "خيط" a i ;
+  sing_V       = v2 "غني" ;
+  sit_V        = v1 "قعد" a u ;
+  smell_V      = v1 "شمّ" i a ;
+  spit_V       = v1 "بصق" a u ;
+  stand_V      = v1 "وقف" a i ;
+  swell_V      = v8 "نفخ" ;
+  swim_V       = v1 "سبح" a a ;
+  think_V      = v2 "فكر" ;
+  turn_V       = v1 "برم" a u ;
+  vomit_V      = v5 "قي؟" ;
+
+  bite_V2      = dirV2 ( v1 "عضّ" a a ) ;
+  count_V2     = dirV2 (v1 "عدّ" a u) ;
+  cut_V2       = dirV2 (v1 "قصّ" a u) ;
+  fear_V2      = dirV2 (v1 "خوف" i a) ;
+  fight_V2     = dirV2 (v3 "قتل") ;
+  hit_V2       = dirV2 (v1 "ضرب" a i) ;
+  hold_V2      = dirV2 (v1 "مسك" a i) ;
+  hunt_V2      = dirV2 (v1 "صيد" a i) ;
+  kill_V2      = dirV2 (v1 "قتل" a u) ;
+  pull_V2      = dirV2 (v1 "سحب" a a) ;
+  push_V2      = dirV2 (v1 "دفع" a a) ;
+  rub_V2       = dirV2 ( v1 "فرك" a u ) ;
+  scratch_V2   = dirV2 (v1 "خدش" a i) ;
+  split_V2     = dirV2 ( v2 "قسم" ) ;
+  squeeze_V2   = dirV2 (v1 "عصر" a i) ;
+  stab_V2      = dirV2 ( v1 "طعن" a u) ;
+  suck_V2      = dirV2 (v1 "مصّ" a u) ;
+  throw_V2     = dirV2 (v1 "رمي" a i) ;
+  tie_V2       = dirV2 (v1 "ربط" a u) ;
+  wash_V2      = dirV2 ( v1 "غسل" a i ) ;
+  wipe_V2      = dirV2 ( v1 "مسح" a a ) ;
+
+--  other_A = regA "ْتهر" ;
+
+} ;

lib/resource-1.0/arabic/MorphoAra.gf

@@ -0,0 +1,36 @@
+resource MorphoAra = ResAra ** open Prelude in  {
+
+flags optimize = all ;--noexpand;
+
+  oper
+    mkDet : Str -> Number -> State -> Det 
+      = \word,num,state -> 
+      { s = \\_,_,c => word + vowel ! c ;
+        n = numberToSize num;
+        d = state;
+        isNum = False
+      };
+    
+   mkQuantNum : Str -> Number -> State -> { 
+      s: Species => Gender => Case => Str; n: Number; d : State; isNum : Bool} = 
+      \waHid,num,state -> 
+     let waHida = waHid + "َة" in 
+      { s = \\_,g,c => 
+          let word = 
+          case g of {
+            Masc => waHid;
+            Fem => waHida
+          } in Al ! state + word + dec1sg ! state ! c;
+        n = num;
+        d = state;
+        isNum = True
+      };
+    
+    vowel : Case => Str = 
+      table {
+        Nom => "ُ";
+        Acc => "َ";
+        Gen => "ِ"
+      };
+
+}

lib/resource-1.0/arabic/NounAra.gf

@@ -0,0 +1,96 @@
+concrete NounAra of Noun = CatAra ** open ResAra, Prelude in {
+
+  flags optimize=all_subs ;
+
+  lin
+
+    DetCN det cn = 
+      let {
+        number = sizeToNumber det.n;
+        determiner : Case -> Str = \c -> 
+          det.s ! cn.h ! (detGender cn.g det.n) ! c;
+        noun : Case -> Str = \c ->
+          cn.s ! number ! (nounState det.d number) ! (nounCase c det.n det.d)
+      } in 
+      { s = \\c => 
+          case detAsAdj det.isNum det.n det.d of {
+            False => determiner c ++ noun c;
+            --FIXME use the adj -> cn -> cn rule from below instead of repeating code
+            True => cn.s ! number ! det.d ! c ++ det.s ! cn.h ! cn.g ! c
+          };
+        a = { pgn = agrP3 cn.h cn.g number;
+              isPron = False }
+      };
+    
+--    UsePN pn = pn ** {a = agrP3 Sg} ;
+    UsePron p = p ;
+--
+--    PredetNP pred np = {
+--      s = \\c => pred.s ++ np.s ! c ;
+--      a = np.a
+--      } ;
+
+    DetSg quant ord = {
+      s = quant.s ; --++ ord.s 
+      n = One;
+      d = quant.d;
+      isNum = quant.isNum
+      } ;
+
+
+    DetPl quant num ord = {
+      s = \\h,g,c => 
+        quant.s ! h ! g ! c ++ num.s ! g ! (toDef quant.d num.n) ! c ;  
+      n = num.n;
+      d = quant.d;
+      isNum = 
+        case num.n of {
+          None => False;
+          _ => True
+        };
+      } ;
+
+    SgQuant quant = {s = quant.s ! Sg ; n = Sg; d = quant.d; isNum = False} ;
+    PlQuant quant = {s = quant.s ! Pl ; n = Pl; d = quant.d; isNum = False} ;
+
+
+--    PossPron p = {s = \\_ => p.s ! Gen} ;
+
+    NoNum, NoOrd = {s = \\_,_,_ => [] ; 
+                    n = None} ; 
+
+--    NumInt n = n ;
+--    OrdInt n = {s = n.s ++ "ته"} ; ---
+
+    NumNumeral numeral = numeral ;
+--    OrdNumeral numeral = {s = numeral.s ! NOrd} ;
+--
+--    AdNum adn num = {s = adn.s ++ num.s} ;
+--
+--    OrdSuperl a = {s = a.s ! AAdj Superl} ;
+--
+    DefArt = {s = \\_,_,_,_ => []; d = Def } ;
+
+    IndefArt = {s = \\_,_,_,_ => []; d = Indef} ;
+
+    MassDet = {s = \\_,_,_ => [] ; n = Sg; d = Indef; isNum = False} ;
+
+    UseN n = n ;
+--    UseN2 n = n ;
+--    UseN3 n = n ;
+--
+--    ComplN2 f x = {s = \\n,c => f.s ! n ! Nom ++ f.c2 ++ x.s ! c} ;
+--    ComplN3 f x = {s = \\n,c => f.s ! n ! Nom ++ f.c2 ++ x.s ! c ; c2 = f.c3} ;
+--
+    AdjCN ap cn = {
+      s = \\n,d,c => 
+        cn.s ! n ! d ! c ++ ap.s ! cn.h ! cn.g ! n ! (definite ! d) ! c ;
+      g = cn.g;
+      h = cn.h
+      };
+--    RelCN cn rs = {s = \\n,c => cn.s ! n ! c ++ rs.s ! {n = n ; p = P3}} ;
+--    AdvCN cn ad = {s = \\n,c => cn.s ! n ! c ++ ad.s} ;
+--
+--    SentCN cn sc = {s = \\n,c => cn.s ! n ! c ++ sc.s} ;
+--
+}

lib/resource-1.0/arabic/NumeralAra.gf

@@ -0,0 +1,119 @@
+concrete NumeralAra of Numeral = CatAra ** 
+  open Predef, Prelude, ResAra, MorphoAra in {
+
+
+
+lincat 
+
+  Digit = {s : DForm => Gender => State => Case => Str ;
+           n : Size } ;
+  Sub10 = {s : DForm => Gender => State => Case => Str ; 
+           n : Size } ;
+  Sub100 = {s : Gender => State => Case => Str ; 
+            n : Size} ;
+  Sub1000 = {s : Gender => State => Case => Str ; 
+            n : Size } ;
+  Sub1000000 = {s : Gender => State => Case => Str ; 
+            n : Size} ;
+
+
+
+lin num x = x ;
+
+
+lin n2 = num2 ** {n = Two };
+
+
+lin n3 = num3_10   "ثَلاث";  
+lin n4 = num3_10  "أَربَع"; 
+lin n5 = num3_10    "خَمس";   
+lin n6 = num3_10    "سِتّ";   
+lin n7 = num3_10    "سَبع";   
+lin n8 = num3_10  "ثَمانِي"; 
+lin n9 = num3_10    "تِسع";   
+
+
+lin pot01 = num1_10 "واحِد" ** { n = One } ;
+
+lin pot0 d = d ;
+
+lin pot110 = 
+      { s= ((num3_10  "عَشر").s ! unit ) ;
+        n = ThreeTen
+      };
+lin pot111 = 
+      { s = \\g,d,_ => 
+          case g of {
+            Masc => Al ! d + "أَحَدَ" ++ teen ! Masc ;
+            Fem => Al ! d + "إِحدَى" ++ teen ! Fem
+          };
+        n = NonTeen
+      };
+
+lin pot1to19 dig = 
+      { s = \\g,d,c => 
+          case dig.n of {
+            Two => Al ! d + num2.s ! unit ! g ! Const ! c ++ teen ! g  ;
+            _ => dig.s ! unit ! g ! (toDef d ThreeTen) ! Acc ++ 
+              teen ! (genPolarity ! g) 
+          };
+        n = case dig.n of {
+          Two => NonTeen;
+          _ => Teen
+          }
+      };
+
+lin pot0as1 num = 
+      { s= num.s ! unit;
+        n = num.n
+      } ;
+
+lin pot1 dig = 
+      { s = dig.s ! ten;
+        n = NonTeen
+      };
+
+lin pot1plus dig n = {
+      s = \\g,d,c => n.s ! unit ! g ! d ! c 
+           ++ "وَ" ++ dig.s ! ten ! g ! d ! c ;
+      n = NonTeen
+      };
+
+lin pot1as2 n = n ;
+
+lin pot2 dig = {
+      s = \\g,d,c => 
+        case dig.n of {
+          One => num100 ! d ! c ;
+          Two => num200 ! d ! c ;
+          _ => dig.s ! unit ! Masc ! (toDef d ThreeTen) ! c ++ "مِٱَةِ"
+        };
+      n = Hundreds
+      };
+
+lin pot2plus m e = {
+      s = \\g,d,c => 
+        case m.n of {
+          One => num100 ! d ! c;
+          Two => num200 ! d ! c;
+          _ => m.s ! unit ! Masc ! (toDef d ThreeTen) ! c ++ "مِٱَةٌ"
+        } ++ "وَ" ++ e.s ! g ! d ! c ;
+      n = e.n 
+      };
+        
+
+lin pot2as3 n = n ;
+
+lin pot3 m = {
+      s = \\g,d,c =>
+        case m.n of {
+          One => num1000 ! (definite ! d) ! c;
+          Two => num2000 ! (definite ! d) ! c;
+          _ => m.s ! Fem ! (toDef d ThreeTen) ! c ++ "آلافٌ"
+        } ;
+      n = m.n 
+      };
+--lin pot3plus n m = {
+--  s = \\c => n.s ! NCard ++ "تهُْسَند" ++ m.s ! c ; n = Pl} ;
+
+}

lib/resource-1.0/arabic/OrthoAra.gf

@@ -0,0 +1,39 @@
+resource OrthoAra = open Prelude, Predef in {
+
+  oper
+    
+    rectifyHmz: Str -> Str = \word ->
+      case word of {
+        l@(""|"ال") + "؟" + v@("َ"|"ُ") + tail => l + "أ" + v + tail;
+        l@(""|"ال") + "؟" + v@("ِ") + tail => l + "إ" + v + tail;
+        head + v1@("ِ"|"ُ"|"َ"|"ْ"|"ا"|"ي"|"و") + "؟" + v2@(""|"ُ"|"َ"|"ْ"|"ِ") => head + v1 + (tHmz v1) + v2;
+        head + "؟" + tail => head + (bHmz (dp 2 head) (take 2 tail)) + tail; --last head , take 1 tail
+        _           => word
+      };
+    
+    --hamza at beginning of word (head)
+    hHmz : Str -> Str = \d ->
+      case d of {
+        "ِ" => "إ";
+	    _	 => "أ"
+      };
+    
+    --hamza in middle of word (body)
+    bHmz : Str -> Str -> Str = \d1,d2 ->
+      case <d1,d2> of {
+        <"ِ",_> | <_,"ِ"> => "ئ";
+	    <"ُ",_> | <_,"ُ"> => "ؤ";
+	    <"َ",_> | <_,"َ"> => "أ";
+	    _				   => "ء"
+      };
+    
+    --hamza carrier sequence
+    tHmz : Str -> Str = \d ->
+      case d of {
+        "ِ" => "ئ";
+	    "ُ" => "ؤ";
+	    "َ" => "أ";
+	    "ْ"|"ا"|"و"|"ي" => "ء"
+      };
+    
+}

lib/resource-1.0/arabic/ParadigmsAra.gf

@@ -0,0 +1,532 @@
+--# -path=.:../abstract:../../prelude:../common
+
+--1 Arabic Lexical Paradigms
+--
+-- Aarne Ranta 2003--2005
+--
+-- This is an API to the user of the resource grammar 
+-- for adding lexical items. It gives functions for forming
+-- expressions of open categories: nouns, adjectives, verbs.
+-- 
+-- Closed categories (determiners, pronouns, conjunctions) are
+-- accessed through the resource syntax API, $Structural.gf$. 
+--
+-- The main difference with $MorphoAra.gf$ is that the types
+-- referred to are compiled resource grammar types. We have moreover
+-- had the design principle of always having existing forms, rather
+-- than stems, as string arguments of the paradigms.
+--
+-- The structure of functions for each word class $C$ is the following:
+-- first we give a handful of patterns that aim to cover all
+-- regular cases. Then we give a worst-case function $mkC$, which serves as an
+-- escape to construct the most irregular words of type $C$.
+-- However, this function should only seldom be needed: we have a
+-- separate module $IrregularAra$, which covers all irregularly inflected
+-- words.
+-- 
+-- The following modules are presupposed:
+
+resource ParadigmsAra = open 
+  Predef, 
+  Prelude, 
+  MorphoAra,
+  OrthoAra,
+  CatAra
+  in {
+
+  flags optimize = noexpand;
+
+  oper
+    
+    --lexical paradigms for nouns
+    
+    mkN : NTable -> Gender -> Species -> N = 
+      \nsc,gen,spec ->
+      { s = nsc; 
+        g = gen; 
+        h = spec;
+        lock_N = <>
+      };
+    
+    --takes a root string, a singular pattern string, a broken plural 
+    --pattern string, a gender, and species. Gives a noun
+    regN : Str -> Str -> Str -> Gender -> Species -> N =
+      \root,sg,pl,gen,spec ->
+      let { raw = regN' root sg pl gen spec} in
+      { s = \\n,d,c =>
+          case root of {
+            _ + "؟" + _ => rectifyHmz(raw.s ! n ! d ! c);
+            _ => raw.s ! n ! d ! c
+          };
+        g = gen;
+        h = spec
+      };
+    
+    regN' : Str -> Str -> Str -> Gender -> Species -> N =
+      \root,sg,pl,gen,spec ->
+      let { kitAb = mkWord sg root;
+            kutub = mkWord pl root
+      } in mkN (reg kitAb kutub) gen spec;
+    
+    --takes a root string, a singular pattern string, a gender, 
+    --and species. Gives a noun whose plural is sound feminine
+    sdfN : Str -> Str -> Gender -> Species -> N =
+      \root,sg,gen,spec ->
+      let { kalima = mkWord sg root;
+      } in mkN (sndf kalima) gen spec;
+    
+    
+    --takes a root string, a singular pattern string, a gender, 
+    --and species. Gives a noun whose plural is sound masculine
+    sdmN : Str -> Str -> Gender -> Species -> N =
+      \root,sg,gen,spec ->
+      let { mucallim = mkWord sg root;
+      } in mkN (sndm mucallim) gen spec;
+    
+    --    mkN3 : N -> Str -> Str -> N3 = 
+    --      \n,p,q -> n ** {c2 = p ; c3 = q; lock_N3 = <>} ;
+    
+    --lexical paradigms for adjectives
+    
+    --takes a root string and a pattern string
+    regA : Str -> Str -> A =
+      \root,pat ->
+      let { raw = regA' root pat } in
+      { s = \\g,n,d,c =>
+          case root of {
+            _ + "؟" + _ => rectifyHmz(raw.s ! g ! n ! d ! c);
+            _ => raw.s ! g ! n ! d ! c
+          };
+        lock_A = <>
+      };
+    
+    regA' : Str -> Str -> A =
+      \root,pat ->
+      let { kabIr = mkWord pat root
+      } in {
+        s = adj kabIr;
+      };
+    
+  --takes a root string only
+  clrA : Str -> A =
+    \root ->
+    let { eaHmar = mkWord "أَفعَل" root;
+          HamrA' = mkWord "فَعلاء" root;
+          Humr   = mkWord "فُعل" root
+    } in {
+      s = clr eaHmar HamrA' Humr;
+      lock_A = <>
+    };
+  
+  --lexical paradigms for verbs
+  
+  v1 : Str -> Vowel -> Vowel -> V = 
+    \rootStr,vPerf,vImpf -> 
+    let { raw = v1' rootStr vPerf vImpf } in
+    { s = \\vf => 
+        case rootStr of {
+          _ + "؟" + _ => rectifyHmz(raw.s ! vf);
+          _ => raw.s ! vf 
+        };
+      lock_V = <>
+    } ;
+  
+    
+    v1' : Str ->  Vowel -> Vowel -> Verb = 
+      \rootStr,vPerf,vImpf ->
+      let { root = mkRoot3 rootStr ;
+            l = dp 2 rootStr } in --last rootStr
+      case <l, root.c> of {
+        <"ّ",_>     => v1geminate rootStr vPerf vImpf ;
+        <"و"|"ي",_> => v1defective root vImpf ;
+        <_,"و"|"ي"> => v1hollow root vImpf ;
+        _		    => v1sound root vPerf vImpf 
+      };
+    
+    
+    --Verb Form II : faccala
+
+    v2 : Str -> V = 
+      \rootStr ->
+      let {
+        root = mkRoot3 rootStr 
+      } in {
+        s = 
+          case root.l of {
+            "و"|"ي" => (v2defective root).s;
+            _       => (v2sound root).s
+          };
+        lock_V = <>
+      };              
+    
+    --Verb Form III : fAcala
+    
+    v3 : Str -> V = 
+      \rootStr ->
+      let {
+        tbc = mkRoot3 rootStr ;
+      } in {
+        s = (v3sound tbc).s  ;
+        lock_V = <>
+      };
+    
+    --Verb Form IV : >afcala
+
+    v4 : Str -> V = 
+      \rootStr ->
+      let {
+        root = mkRoot3 rootStr 
+      } in {
+        s = 
+          case root.l of {
+            "و"|"ي" => (v4defective root).s;
+            _       => (v4sound root).s
+          }; 
+        lock_V = <>
+      };
+    
+    --Verb Form V : tafaccala 
+
+    v5 : Str -> V =
+      \rootStr ->
+      let { raw = v5' rootStr } in
+      { s = \\vf =>
+          case rootStr of {
+            _ + "؟" + _ => rectifyHmz(raw.s ! vf);
+            _ => raw.s ! vf
+          };
+        lock_V = <>
+      };
+
+    v5' : Str -> V = 
+      \rootStr ->
+      let {
+        nfs = mkRoot3 rootStr ;
+      } in {
+        s = (v5sound nfs).s  ;
+      };
+    
+    --Verb Form VI : tafaacala 
+
+    v6 : Str -> V = 
+      \rootStr ->
+      let {
+        fqm = mkRoot3 rootStr ;
+      } in {
+        s = (v6sound fqm).s  ;
+        lock_V = <>
+      };
+    
+    --Verb Form VIII <iftacala
+
+    v8 : Str -> V = 
+      \rootStr ->
+      let {
+        rbT = mkRoot3 rootStr ;
+      } in {
+        s = (v8sound rbT).s ;
+        lock_V = <>
+      };
+
+
+---- Prepositions are used in many-argument functions for rection.
+--
+  Preposition : Type ;
+
+
+--2 Nouns
+
+-- Use the function $mkPreposition$ or see the section on prepositions below to  
+-- form other prepositions.
+--
+--3 Relational nouns 
+-- 
+-- Relational nouns ("دَُغهتر ْف خ") need a preposition. 
+
+  mkN2 : N -> Preposition -> N2 ;
+
+-- Three-place relational nouns ("تهي عْنّعتِْن فرْم خ تْ ي") need two prepositions.
+
+  mkN3 : N -> Preposition -> Preposition -> N3 ;
+
+
+----3 Relational common noun phrases
+----
+---- In some cases, you may want to make a complex $CN$ into a
+---- relational noun (e.g. "تهي ْلد تْون هَلّ ْف").
+--
+--  cnN2 : CN -> Preposition -> N2 ;
+--  cnN3 : CN -> Preposition -> Preposition -> N3 ;
+--
+-- 
+--3 Proper names and noun phrases
+--
+-- Proper names, with a regular genitive, are formed as follows
+
+  mkPN : Str -> Gender -> PN ;   
+
+---- Sometimes you can reuse a common noun as a proper name, e.g. "َنك".
+--
+--  nounPN : N -> PN ;
+--
+---- To form a noun phrase that can also be plural and have an irregular
+---- genitive, you can use the worst-case function.
+--
+--  mkNP : Str -> Str -> Number -> Gender -> NP ; 
+--
+----2 Adjectives
+-- 
+--3 Two-place adjectives
+--
+-- Two-place adjectives need a preposition for their second argument.
+
+  mkA2 : A -> Preposition -> A2 ;
+
+---- Comparison adjectives may two more forms. 
+--
+--  ADeg : Type ;
+--
+--  mkADeg : (good,better,best,well : Str) -> ADeg ;
+--
+---- The regular pattern recognizes two common variations: 
+---- "ي" ("رُدي" - "رُدر" - "رُدست") and
+---- "ي" ("هَةّي  هَةِّر  هَةِّست  هَةِّلي")
+--
+--  regADeg : Str -> ADeg ;      -- long, longer, longest
+--
+---- However, the duplication of the final consonant is nor predicted,
+---- but a separate pattern is used:
+--
+--  duplADeg : Str -> ADeg ;      -- fat, fatter, fattest
+--
+---- If comparison is formed by "مْري، "most", as in general for
+---- long adjective, the following pattern is used:
+--
+--  compoundADeg : A -> ADeg ; -- -/more/most ridiculous
+--
+---- From a given $ADeg$, it is possible to get back to $A$.
+--
+--  adegA : ADeg -> A ;
+--
+--
+--2 Adverbs
+
+-- Adverbs are not inflected. Most lexical ones have position
+-- after the verb. Some can be preverbal (e.g. "َلوَيس").
+
+  mkAdv : Str -> Adv ;
+  mkAdV : Str -> AdV ;
+
+-- Adverbs modifying adjectives and sentences can also be formed.
+
+  mkAdA : Str -> AdA ;
+
+--2 Prepositions
+--
+-- A preposition as used for rection in the lexicon, as well as to
+-- build $PP$s in the resource API, just requires a string.
+
+  mkPreposition : Str -> Preposition ;
+  mkPrep        : Str -> Prep ;
+
+-- (These two functions are synonyms.)
+
+--2 Verbs
+--
+----3 Verbs with a particle.
+----
+---- The particle, such as in "سوِتعه ْن", is given as a string.
+--
+--  partV  : V -> Str -> V ;
+--
+----3 Reflexive verbs
+----
+---- By default, verbs are not reflexive; this function makes them that.
+--
+--  reflV  : V -> V ;
+--
+----3 Two-place verbs
+--
+-- Two-place verbs need a preposition, except the special case with direct object.
+-- (transitive verbs). Notice that a particle comes from the $V$.
+
+  mkV2  : V -> Preposition -> V2 ;
+
+  dirV2 : V -> V2 ;
+
+--3 Three-place verbs
+--
+-- Three-place (ditransitive) verbs need two prepositions, of which
+-- the first one or both can be absent.
+
+  mkV3     : V -> Preposition -> Preposition -> V3 ; -- speak, with, about
+  dirV3    : V -> Preposition -> V3 ;                -- give,_,to
+  dirdirV3 : V -> V3 ;                               -- give,_,_
+
+--3 Other complement patterns
+--
+-- Verbs and adjectives can take complements such as sentences,
+-- questions, verb phrases, and adjectives.
+
+  mkV0  : V -> V0 ;
+  mkVS  : V -> VS ;
+  mkV2S : V -> Str -> V2S ;
+  mkVV  : V -> VV ;
+  mkV2V : V -> Str -> Str -> V2V ;
+  mkVA  : V -> VA ;
+  mkV2A : V -> Str -> V2A ;
+  mkVQ  : V -> VQ ;
+  mkV2Q : V -> Str -> V2Q ;
+
+  mkAS  : A -> AS ;
+  mkA2S : A -> Str -> A2S ;
+  mkAV  : A -> AV ;
+  mkA2V : A -> Str -> A2V ;
+
+-- Notice: categories $V2S, V2V, V2A, V2Q$ are in v 1.0 treated
+-- just as synonyms of $V2$, and the second argument is given
+-- as an adverb. Likewise $AS, A2S, AV, A2V$ are just $A$.
+-- $V0$ is just $V$.
+
+  V0, V2S, V2V, V2A, V2Q : Type ;
+  AS, A2S, AV, A2V : Type ;
+
+--
+----2 Definitions of paradigms
+----
+---- The definitions should not bother the user of the API. So they are
+---- hidden from the document.
+----.
+--
+--  Gender = MorphoAra.Gender ; 
+--  Number = MorphoAra.Number ;
+--  Case = MorphoAra.Case ;
+--  human = Masc ; 
+--  nonhuman = Neutr ;
+--  masculine = Masc ;
+--  feminine = Fem ;
+--  singular = Sg ;
+--  plural = Pl ;
+--  nominative = Nom ;
+--  genitive = Gen ;
+--
+  Preposition = Str ;
+
+  mkN2 = \n,p -> n ** {lock_N2 = <> ; c2 = p} ;
+--  regN2 n = mkN2 (regN n) (mkPreposition "ْف") ;
+  mkN3 = \n,p,q -> n ** {lock_N3 = <> ; c2 = p ; c3 = q} ;
+--  cnN2 = \n,p -> n ** {lock_N2 = <> ; c2 = p} ;
+--  cnN3 = \n,p,q -> n ** {lock_N3 = <> ; c2 = p ; c3 = q} ;
+--
+--  mkPN n g = nameReg n g ** {lock_PN = <>} ;
+--  nounPN n = {s = n.s ! singular ; g = n.g ; lock_PN = <>} ;
+    mkNP : (_,_,_ : Str) -> PerGenNum -> NP = \ana,nI,I,pgn ->
+      { s = 
+          table {
+            Nom => ana;
+            Acc => nI;
+            Gen => I
+          };
+        a = {pgn = pgn; isPron = True };
+        lock_NP = <>
+      };
+
+--  mkNP x y n g = {s = table {Gen => x ; _ => y} ; a = agrP3 n ;
+--  lock_NP = <>} ;
+--
+    mkQuant7 : (_,_,_,_,_,_,_ : Str) -> State -> Quant =
+      \hava,havihi,havAn,havayn,hAtAn,hAtayn,hA'ulA,det ->
+      { s = \\n,s,g,c =>
+          case <s,g,c,n> of {
+            <_,Masc,_,Sg>  => hava;
+            <_,Fem,_,Sg>   => havihi;
+            <_,Masc,Nom,Dl>=> havAn;
+            <_,Masc,_,Dl>  => havayn;
+            <_,Fem,Nom,Dl> => hAtAn;
+            <_,Fem,_,Dl>   => hAtayn;
+            <Hum,_,_,Pl>   => hA'ulA;
+            _              => havihi
+          };
+        d = Def;
+        lock_Quant = <>
+      };
+
+    mkQuant3 : (_,_,_ : Str) -> State -> Quant =
+      \dalika,tilka,ula'ika,det ->
+      { s = \\n,s,g,c =>
+          case <s,g,c,n> of {
+            <_,Masc,_,Sg>  => dalika;
+            <_,Fem,_,Sg>   => tilka;
+            <Hum,_,_,_>   => ula'ika;
+            _              => tilka
+          };
+        d = Def;
+        lock_Quant = <>
+      };
+
+
+--  mkA a b = mkAdjective a a a b ** {lock_A = <>} ;
+--  regA a = regAdjective a ** {lock_A = <>} ;
+--
+  mkA2 a p = a ** {c2 = p ; lock_A2 = <>} ;
+--
+--  ADeg = A ; ----
+--
+--  mkADeg a b c d = mkAdjective a b c d ** {lock_A = <>} ;
+--
+
+--  duplADeg fat = 
+--    mkADeg fat 
+--    (fat + last fat + "ر") (fat + last fat + "ست") (fat + "لي") ;
+--
+--  compoundADeg a =
+--    let ad = (a.s ! AAdj Posit) 
+--    in mkADeg ad ("مْري" ++ ad) ("مْست" ++ ad) (a.s ! AAdv) ;
+--
+--  adegA a = a ;
+--
+  mkAdv x = ss x ** {lock_Adv = <>} ;
+  mkAdV x = ss x ** {lock_AdV = <>} ;
+  mkAdA x = ss x ** {lock_AdA = <>} ;
+
+  mkPreposition p = p ;
+--  mkPrep p = ss p ** {lock_Prep = <>} ;
+--
+--  mkV a b c d e = mkVerb a b c d e ** {s1 = [] ; lock_V = <>} ;
+--
+--
+--  partV v p = verbPart v p ** {lock_V = <>} ;
+--  reflV v = {s = v.s ; part = v.part ; lock_V = v.lock_V ; isRefl = True} ;
+--
+  mkV2 v p = v ** {s = v.s ; c2 = p ; lock_V2 = <>} ;
+  dirV2 v = mkV2 v [] ;
+  
+  mkV3 v p q = v ** {s = v.s ; c2 = p ; c3 = q ; lock_V3 = <>} ;
+  dirV3 v p = mkV3 v [] p ;
+  dirdirV3 v = dirV3 v [] ;
+
+  mkVS  v = v ** {lock_VS = <>} ;
+--  mkVV  v = {
+--    s = table {VVF vf => v.s ! vf ; _ => variants {}} ; 
+--    isAux = False ; lock_VV = <>
+--    } ;
+  mkVQ  v = v ** {lock_VQ = <>} ;
+
+  V0 : Type = V ;
+  V2S, V2V, V2Q, V2A : Type = V2 ;
+  AS, A2S, AV : Type = A ;
+  A2V : Type = A2 ;
+
+  mkV0  v = v ** {lock_V = <>} ;
+  mkV2S v p = mkV2 v p ** {lock_V2 = <>} ;
+  mkV2V v p t = mkV2 v p ** {s4 = t ; lock_V2 = <>} ;
+  mkVA  v = v ** {lock_VA = <>} ;
+  mkV2A v p = mkV2 v p ** {lock_V2A = <>} ;
+  mkV2Q v p = mkV2 v p ** {lock_V2 = <>} ;
+
+  mkAS  v = v ** {lock_A = <>} ;
+  mkA2S v p = mkA2 v p ** {lock_A = <>} ;
+  mkAV  v = v ** {lock_A = <>} ;
+  mkA2V v p = mkA2 v p ** {lock_A2 = <>} ;
+
+} ;

lib/resource-1.0/arabic/PatternsAra.gf

@@ -0,0 +1,102 @@
+resource PatternsAra =  {
+
+  oper
+    
+	fA'  = { h = "" ; m1 = ""; m2 = ""; t = "َاء"} ;
+
+	eafAcI = { h = "أَ"; m1 = "َا"; m2 = ""; t = "ِي" } ;
+	eafcA' = { h = "أَ"; m1 = "ْ" ; m2 = ""; t = "َاء"} ;
+	eafcI  = { h = "أَ"; m1 = "ْ" ; m2 = ""; t = "ِي" } ;
+	fac    = { h = ""  ; m1 = "َ" ; m2 = ""; t = ""   } ;
+	facc   = { h = ""  ; m1 = "َ" ; m2 = ""; t = "ّ"  } ;
+	facca  = { h = ""  ; m1 = "َ" ; m2 = ""; t = "َّ" } ;
+	facci  = { h = ""  ; m1 = "َ" ; m2 = ""; t = "ِّ" } ;
+	faccu  = { h = ""  ; m1 = "َ" ; m2 = ""; t = "ُّ" } ;
+	facp   = { h = ""  ; m1 = "َ" ; m2 = ""; t = "َة" } ;
+	faca   = { h = ""  ; m1 = "َ" ; m2 = ""; t = "َ"  } ;
+	facA   = { h = ""  ; m1 = "َ" ; m2 = ""; t = "َا" } ;
+	facA'  = { h = ""  ; m1 = "َ" ; m2 = ""; t = "َاء"} ;
+	fAc    = { h = ""  ; m1 = "َا"; m2 = ""; t = ""   } ;
+	fAcp   = { h = ""  ; m1 = "َا"; m2 = ""; t = "َة" } ;
+	fic    = { h = ""  ; m1 = "ِ" ; m2 = ""; t = ""   } ;
+	ficc   = { h = ""  ; m1 = "ِ" ; m2 = ""; t = "ّ"  } ;
+	ficA'  = { h = ""  ; m1 = "ِ" ; m2 = ""; t = "َاء"} ;
+	fIc    = { h = ""  ; m1 = "ِي"; m2 = ""; t = ""   } ;
+	fIcAn  = { h = ""  ; m1 = "ِي"; m2 = ""; t = "َان"} ;
+	fca    = { h = ""  ; m1 = "ْ" ; m2 = ""; t = "َ"  } ;
+	fci    = { h = ""  ; m1 = "ْ" ; m2 = ""; t = "ِ"  } ;
+	fcu    = { h = ""  ; m1 = "ْ" ; m2 = ""; t = "ُ"  } ;
+	fuc    = { h = ""  ; m1 = "ُ" ; m2 = ""; t = ""   } ;
+	fucc   = { h = ""  ; m1 = "ُ" ; m2 = ""; t = "ّ"  } ;
+	fucci  = { h = ""  ; m1 = "ُ" ; m2 = ""; t = "ِّ" } ;
+	fuccu  = { h = ""  ; m1 = "ُ" ; m2 = ""; t = "ُّ" } ;
+	fuci   = { h = ""  ; m1 = "ُ" ; m2 = ""; t = "ِ"  } ;
+	fucu   = { h = ""  ; m1 = "ُ" ; m2 = ""; t = "ُ"  } ;
+	fUc    = { h = ""  ; m1 = "ُو"; m2 = ""; t = ""   } ;
+	ufAc   = { h = "ُ" ; m1 = "َا"; m2 = ""; t = ""   } ;
+	ufca   = { h = "ُ" ; m1 = "ْ" ; m2 = ""; t = "َ"  } ;
+
+	eafAcil  = { h = "أَ"; m1 = "َا"  ; m2 = "ِ"   ; t = ""   } ;
+	eafAcIl  = { h = "أَ"; m1 = "َا"  ; m2 = "ِي"  ; t = ""   } ;
+	eafcilp  = { h = "أَ"; m1 = "ْ"   ; m2 = "ِ"   ; t = "َة" } ;
+	eafcal   = { h = "أَ"; m1 = "ْ"   ; m2 = "َ"   ; t = ""   } ;
+	eafcAl   = { h = "أَ"; m1 = "ْ"   ; m2 = "َا"  ; t = ""   } ;
+	eafcil   = { h = "أَ"; m1 = "ْ"   ; m2 = "ِ"   ; t = ""   } ;
+	eafcul   = { h = "أَ"; m1 = "ْ"   ; m2 = "ُ"   ; t = ""   } ;
+	eiftacal = { h = "إِ"; m1 = "ْتَ" ; m2 = "َ"   ; t = ""   } ;
+	eufcil   = { h = "أُ"; m1 = "ْ"   ; m2 = "ِ"   ; t = ""   } ;
+	euftucil = { h = "أُ"; m1 = "ْتُ" ; m2 = "ِ"   ; t = ""   } ;
+	afcul    = { h = "َ" ; m1 = "ْ"   ; m2 = "ُ"   ; t = ""   } ;
+	faccalo  = { h = ""  ; m1 = "َ"   ; m2 = "َّ"  ; t = "ْ"  } ;
+	facal    = { h = ""  ; m1 = "َ"   ; m2 = "َ"   ; t = ""   } ;
+	facalo   = { h = ""  ; m1 = "َ"   ; m2 = "َ"   ; t = "ْ"  } ;
+	facalp   = { h = ""  ; m1 = "َ"   ; m2 = "َ"   ; t = "َة" } ;
+	facA'il  = { h = ""  ; m1 = "َ"   ; m2 = "َائِ"; t = ""   } ;
+	facAl    = { h = ""  ; m1 = "َ"   ; m2 = "َا"  ; t = ""   } ;
+	facAlI   = { h = ""  ; m1 = "َ"   ; m2 = "َا"  ; t = "ِي" } ;
+	facil    = { h = ""  ; m1 = "َ"   ; m2 = "ِ"   ; t = ""   } ;
+	facIl    = { h = ""  ; m1 = "َ"   ; m2 = "ِي"  ; t = ""   } ;
+	facl     = { h = ""  ; m1 = "َ"   ; m2 = "ْ"   ; t = ""   } ;
+	faclp    = { h = ""  ; m1 = "َ"   ; m2 = "ْ"   ; t = "َة" } ;
+	facul    = { h = ""  ; m1 = "َ"   ; m2 = "ُ"   ; t = ""   } ;
+	fAcal    = { h = ""  ; m1 = "َا"  ; m2 = "َ"   ; t = ""   } ;
+	fAcil    = { h = ""  ; m1 = "َا"  ; m2 = "ِ"   ; t = ""   } ;
+	faccal   = { h = ""  ; m1 = "َ"   ; m2 = "َّ"  ; t = ""   } ;
+	faccil   = { h = ""  ; m1 = "َ"   ; m2 = "ِّ"  ; t = ""   } ;
+	faclA'   = { h = ""  ; m1 = "َ"   ; m2 = "ْ"   ; t = "َاء"} ;
+	fAcilp   = { h = ""  ; m1 = "َا"  ; m2 = "ِ"   ; t = "َة" } ;
+	fawAcil  = { h = ""  ; m1 = "َوَا"; m2 = "ِ"   ; t = ""   } ;
+	ficAlp   = { h = ""  ; m1 = "ِ"   ; m2 = "َا"  ; t = "َة" } ;
+	fcal     = { h = ""  ; m1 = "ْ"   ; m2 = "َ"   ; t = ""   } ;
+	fcil     = { h = ""  ; m1 = "ْ"   ; m2 = "ِ"   ; t = ""   } ;
+	fcul     = { h = ""  ; m1 = "ْ"   ; m2 = "ُ"   ; t = ""   } ;
+	ficl     = { h = ""  ; m1 = "ِ"   ; m2 = "ْ"   ; t = ""   } ;
+	ficAl    = { h = ""  ; m1 = "ِ"   ; m2 = "َا"  ; t = ""   } ;
+	ficlp    = { h = ""  ; m1 = "ِ"   ; m2 = "ْ"   ; t = "َة" } ;
+	ftacal   = { h = ""  ; m1 = "ْتَ" ; m2 = "َ"   ; t = ""   } ;
+	ftacil   = { h = ""  ; m1 = "ْتَ" ; m2 = "ِ"   ; t = ""   } ;
+	fuccAl   = { h = ""  ; m1 = "ُ"   ; m2 = "َّا" ; t = ""   } ;
+	fuccil   = { h = ""  ; m1 = "ُ"   ; m2 = "ِّ"  ; t = ""   } ;
+	fuccilo  = { h = ""  ; m1 = "ُ"   ; m2 = "ِّ"  ; t = "ْ"  } ;
+	fucal    = { h = ""  ; m1 = "ُ"   ; m2 = "َ"   ; t = ""   } ;
+	fucaylp  = { h = ""  ; m1 = "ُ"   ; m2 = "َيْ" ; t = "َة" } ;
+	fucAl    = { h = ""  ; m1 = "ُ"   ; m2 = "َا"  ; t = ""   } ;
+	fucl     = { h = ""  ; m1 = "ُ"   ; m2 = "ْ"   ; t = ""   } ;
+	fucil    = { h = ""  ; m1 = "ُ"   ; m2 = "ِ"   ; t = ""   } ;
+	fuclp    = { h = ""  ; m1 = "ُ"   ; m2 = "ْ"   ; t = "َة" } ;
+	fucilo   = { h = ""  ; m1 = "ُ"   ; m2 = "ِ"   ; t = "ْ"  } ;
+	fucul    = { h = ""  ; m1 = "ُ"   ; m2 = "ُ"   ; t = ""   } ;
+	fuculo   = { h = ""  ; m1 = "ُ"   ; m2 = "ُ"   ; t = "ْ"  } ;
+	fucUl    = { h = ""  ; m1 = "ُ"   ; m2 = "ُو"  ; t = ""   } ;
+	fUcil    = { h = ""  ; m1 = "ُو"  ; m2 = "ِ"   ; t = ""   } ;
+	tafAcal  = { h = "تَ"; m1 = "َا"  ; m2 = "َ"   ; t = ""   } ;
+	tafaccal = { h = "تَ"; m1 = "َ"   ; m2 = "َّ"  ; t = ""   } ;
+	tufuccil = { h = "تُ"; m1 = "ُ"   ; m2 = "ِّ"  ; t = ""   } ;
+	tufUcil  = { h = "تُ"; m1 = "ُو"  ; m2 = "ِ"   ; t = ""   } ;
+	ufAcal   = { h = "ُ" ; m1 = "َا"  ; m2 = "َ"   ; t = ""   } ;
+	ufAcil   = { h = "ُ" ; m1 = "َا"  ; m2 = "ِ"   ; t = ""   } ;
+	ufcal    = { h = "ُ" ; m1 = "ْ"   ; m2 = "َ"   ; t = ""   } ;
+	ufcil    = { h = "ُ" ; m1 = "ْ"   ; m2 = "ِ"   ; t = ""   } ;
+	ufcul    = { h = "ُ" ; m1 = "ْ"   ; m2 = "ُ"   ; t = ""   } ;
+
+}

lib/resource-1.0/arabic/PhraseAra.gf

@@ -0,0 +1,26 @@
+concrete PhraseAra of Phrase = CatAra ** open 
+  ParamX, 
+  Prelude, 
+  ResAra in {
+
+  lin
+    PhrUtt pconj utt voc = {s = pconj.s ++ utt.s ! Masc ++ voc.s} ;--FIXME
+
+--    UttS s = s ;
+--    UttQS qs = {s = qs.s ! QDir} ;
+    UttImpSg pol imp = {s = \\g => imp.s ! pol.p ! g ! Sg} ;
+--    UttImpPl pol imp = {s = pol.s ++ imp.s ! pol.p ! Pl} ;
+--
+--    UttIP ip = {s = ip.s ! Nom} ; --- Acc also
+--    UttIAdv iadv = iadv ;
+--    UttNP np = {s = np.s ! Acc} ;
+--    UttVP vp = {s = infVP False vp (agrP3 Sg)} ;
+--    UttAdv adv = adv ;
+--
+    NoPConj = {s = []} ;
+--    PConjConj conj = conj ;
+--
+    NoVoc = {s = []} ;
+--    VocNP np = {s = "،" ++ np.s ! Nom} ;
+--
+}

lib/resource-1.0/arabic/QuestionAra.gf

@@ -0,0 +1,55 @@
+concrete QuestionAra of Question = CatAra ** open ResAra, ParamX in {
+
+  flags optimize=all_subs ;
+
+  lin
+
+    QuestCl cl = {
+      s = \\t,p => 
+        table {
+          QIndir => "إِذا" ++ cl.s ! t ! p ! Verbal ;
+          QDir => cl.s ! t ! p ! Verbal 
+        }
+      };
+
+
+--
+--    QuestVP qp vp = 
+--      let cl = mkClause (qp.s ! Nom) {n = qp.n ; p = P3} vp
+--      in {s = \\t,a,b,_ => cl.s ! t ! a ! b ! ODir} ;
+--
+--    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
+--              }
+--      } ;
+--
+--    QuestIAdv iadv cl = {
+--      s = \\t,a,p => 
+--            let 
+--              cls = cl.s ! t ! a ! p ;
+--              why = iadv.s
+--            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
+--      } ;
+-- 
+--    IDetCN idet num ord cn = {
+--      s = \\c => idet.s ++ num.s ++ ord.s ++ cn.s ! idet.n ! c ; 
+--      n = idet.n
+--      } ;
+--
+}

lib/resource-1.0/arabic/RelativeAra.gf

@@ -0,0 +1,34 @@
+concrete RelativeAra of Relative = CatAra ** open ResAra in {
+--
+--  flags optimize=all_subs ;
+--
+--  lin
+--
+--    RelCl cl = {
+--      s = \\t,a,p,_ => "سُعه" ++ "تهَت" ++ cl.s ! t ! a ! p ! ODir
+--      } ;
+--
+--    RelVP rp vp = {
+--      s = \\t,ant,b,ag => 
+--        let 
+--          agr = case rp.a of {
+--            RNoAg => ag ;
+--            RAg a => a
+--            } ;
+--          cl = mkClause (rp.s ! Nom) agr vp
+--        in
+--        cl.s ! t ! ant ! b ! ODir
+--      } ;
+--
+--    RelSlash rp slash = {
+--      s = \\t,a,p,_ => slash.c2 ++ rp.s ! Acc ++ slash.s ! t ! a ! p ! ODir
+--      } ;
+--
+--    FunRP p np rp = {
+--      s = \\c => np.s ! c ++ p.s ++ rp.s ! Acc ;
+--      a = RAg np.a
+--      } ;
+--
+--    IdRP = mkIP "وهِعه" "وهِعه" "وهْسي" Sg ** {a = RNoAg} ;
+--
+}

lib/resource-1.0/arabic/SentenceAra.gf

@@ -0,0 +1,131 @@
+--# -path=.:abstract:common:prelude
+
+concrete SentenceAra of Sentence = CatAra ** open 
+  ResAra,
+  Prelude, 
+  ResAra,
+  ParamX,
+  CommonX in {
+
+
+  flags optimize=all_subs ;
+        
+  lin
+{-
+    PredVP np vp = 
+      { s = \\t,p,o => 
+          case o of { 
+            Verbal => 
+              case vp.comp.a.isPron of {
+                False => vp.s ! t ! p ! Verbal ! np.a ++ np.s ! Nom ++ vp.comp.s ! Acc ;
+                True  => vp.s ! t ! p ! Verbal ! np.a ++ vp.comp.s ! Acc ++ np.s ! Nom  
+              };
+            Nominal =>
+              np.s ! Nom ++ vp.s ! t ! p ! Nominal ! np.a ++ vp.comp.s ! Acc 
+          }
+      };
+-}
+    PredVP np vp =
+      { s =\\t,p,o => 
+          let {
+            pgn = 
+              case <o,np.a.isPron> of {
+                <Verbal, False> => verbalAgr np.a.pgn;
+                _               => np.a.pgn
+              };
+            gn = pgn2gn pgn;
+            kataba  = vp.s ! pgn ! VPPerf ;
+            yaktubu = vp.s ! pgn ! VPImpf Ind ;
+            yaktuba = vp.s ! pgn ! VPImpf Cnj ;
+            yaktub  = vp.s ! pgn ! VPImpf Jus ;
+            vStr : ResAra.Tense -> Polarity -> Str = 
+              \tn,pl -> case<vp.isPred,tn,pl> of {
+              <False, ResAra.Pres, Pos> => yaktubu ;
+              <False, ResAra.Pres, Neg> => "لَا" ++ yaktubu ;
+              <True, ResAra.Pres, Pos> => "" ;      --no verb "to be" in present 
+              <True, ResAra.Pres, Neg> => "لَيسَ" ;--same here, just add negation particle
+              <_, ResAra.Past, Pos> => kataba ;
+              <_, ResAra.Past, Neg> => "لَمْ" ++ yaktub ;
+              <_, ResAra.Fut,  Pos> => "سَ" ++ yaktubu ; 
+              <_, ResAra.Fut,  Neg> => "لَنْ" ++ yaktuba 
+              };
+            pred : ResAra.Tense -> Polarity -> Str = 
+              \tn,pl -> case <vp.isPred,tn,pl>  of {
+              <True, ResAra.Pres, Pos> => vp.pred.s ! gn ! Nom; --xabar marfooc
+              _ => vp.pred.s ! gn ! Acc --xabar kaana wa laysa manSoob
+              };
+          } in
+          case o of { 
+            Verbal => 
+              case <vp.obj.a.isPron, np.a.isPron> of {
+                <False,True> => (vStr t p) ++ vp.obj.s  ++ vp.s2 ++ (pred t p);
+                <False,False> => (vStr t p) ++ np.s ! Nom ++ vp.obj.s  ++ vp.s2 ++ (pred t p);
+                <True,False>  => (vStr t p) ++ vp.obj.s ++ np.s ! Nom ++ vp.s2 ++ (pred t p);
+                <True,True>  => (vStr t p) ++ vp.obj.s ++ vp.s2 ++ (pred t p)
+              };
+            Nominal =>
+              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 ;
+
+    ImpVP vp = {
+      s = \\p,g,n =>
+        case p of {
+          Pos => vp.s ! (Per2 g n) ! VPImp  ++ vp.obj.s  ++ vp.s2 ;
+          Neg => "لا" ++ vp.s ! (Per2 g n) ! (VPImpf Jus) ++ vp.obj.s ++ vp.s2
+        }
+      };
+
+--
+--    SlashV2 np v2 = 
+--      mkClause (np.s ! Nom) np.a (predV v2) ** {c2 = v2.c2} ;
+--
+--    SlashVVV2 np vv v2 = 
+--      mkClause (np.s ! Nom) np.a 
+--        (insertObj (\\a => infVP vv.isAux (predV v2) a) (predVV vv))  **
+--        {c2 = v2.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} ;
+--
+--    EmbedS  s  = {s = conjThat ++ s.s} ;
+--    EmbedQS qs = {s = qs.s ! QIndir} ;
+--    EmbedVP vp = {s = infVP False vp (agrP3 Sg)} ; --- agr
+--
+
+    --FIXME, all tenses
+    UseCl  t a p cl = 
+      {s =  cl.s ! ResAra.Pres ! p.p ! Verbal 
+{-         case t of {
+           TPres => cl.s ! ResAra.Pres ! p.p ! Verbal ;
+           TCond => cl.s ! ResAra.Pres ! p.p ! Verbal ;
+           TPast => cl.s ! ResAra.Past ! p.p ! Verbal ;
+           TFut => cl.s ! ResAra.Fut ! p.p ! Verbal 
+         } 
+-}      };
+
+    --FIXME, all tenses
+    UseQCl t a p qcl = --{s = cl.s ! t ! p ! Verbal } ;
+      {s = 
+         table {
+           QDir => "هَل" ++ qcl.s ! ResAra.Pres ! p.p ! QDir;
+           QIndir =>  qcl.s ! ResAra.Pres ! p.p ! QIndir
+         }
+{-         case t of {
+           TPres => "هَل" ++ qcl.s ! ResAra.Pres ! p.p ! q ;
+           TCond => "هَل" ++ qcl.s ! ResAra.Pres ! p.p ! q ;
+           TPast => "هَل" ++ qcl.s ! ResAra.Past ! p.p ! q ;
+           TFut  => "هَل" ++ qcl.s ! ResAra.Fut ! p.p ! q 
+         } 
+-}      };
+
+--    UseRCl t a p cl = {s = \\r => t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! r} ;
+
+}

lib/resource-1.0/arabic/StructuralAra.gf

@@ -0,0 +1,115 @@
+concrete StructuralAra of Structural = CatAra ** 
+  open MorphoAra, ResAra, ParadigmsAra, Prelude in {
+
+  flags optimize=all ;
+
+  lin
+--  above_Prep = ss "َبْثي" ;
+--  after_Prep = ss "َفتر" ;
+--  all_Predet = ss "َلّ" ;
+--  almost_AdA, almost_AdN = ss "َلمْست" ;
+--  although_Subj = ss "َلتهُْغه" ;
+--  always_AdV = ss "َلوَيس" ;
+  and_Conj = ss "وَ" ** {n = Pl} ;
+--  because_Subj = ss "بعَُسي" ;
+--  before_Prep = ss "بفْري" ;
+--  behind_Prep = ss "بهِند" ;
+--  between_Prep = ss "بتوّن" ;
+--  both7and_DConj = sd2 "بْته" "َند" ** {n = Pl} ;
+--  but_PConj = ss "بُت" ;
+--  by8agent_Prep = ss "بي" ;
+--  by8means_Prep = ss "بي" ;
+--  can8know_VV, can_VV = {
+--    s = table VVForm [["بي َبلي تْ"] ; "عَن" ; "عُْلد" ; 
+--         ["بّن َبلي تْ"] ; ["بِنغ َبلي تْ"] ; "عَنءت" ; "عُْلدنءت"] ; 
+--    isAux = True
+--    } ;
+--  during_Prep = ss "دُرِنغ" ;
+--  either7or_DConj = sd2 "ِتهر" "ْر" ** {n = Sg} ;
+--  everybody_NP = regNP "ثريبْدي" Sg ;
+  every_Det = mkDet "كُلّ" Sg Const ;
+--  everything_NP = regNP "ثريتهِنغ" Sg ;
+--  everywhere_Adv = ss "ثريوهري" ;
+  few_Det = mkDet "بَعض" Pl Const ;
+--  first_Ord = ss "فِرست" ;
+--  from_Prep = ss "فرْم" ;
+  he_Pron = mkNP "هُوَ" "هُ" "هُ" (Per3 Masc Sg) ;
+  here_Adv = ss "هُنا" ;
+--  here7to_Adv = ss ["تْ هري"] ;
+--  here7from_Adv = ss ["فرْم هري"] ;
+  how_IAdv = ss "كَيفَ" ;
+--  how8many_IDet = mkDeterminer Pl ["هْو مَني"] ;
+--  if_Subj = ss "ِف" ;
+--  in8front_Prep = ss ["ِن فرْنت ْف"] ;
+  i_Pron  = mkNP "أَنَا" "نِي" "ِي" (Per1 Sing);
+  in_Prep = ss "فِي" ;
+--  it_Pron  = mkNP "ِت" "ِت" "ِتس" Sg P3 ;
+--  less_CAdv = ss "لسّ" ;
+  many_Det = mkDet "جَمِيع" Pl Const ;
+--  more_CAdv = ss "مْري" ;
+--  most_Predet = ss "مْست" ;
+  much_Det = mkDet "الكَثِير" Pl Const ;
+--  must_VV = {
+--    s = table VVForm [["بي هَثي تْ"] ; "مُست" ; ["هَد تْ"] ; 
+--         ["هَد تْ"] ; ["هَثِنغ تْ"] ; "مُستنءت" ; ["هَدنءت تْ"]] ; ---- 
+--    isAux = True
+--    } ;
+--  no_Phr = ss "نْ" ;
+--  on_Prep = ss "ْن" ;
+  one_Quant = mkQuantNum "واحِد" Sg Indef ;
+--  only_Predet = ss "ْنلي" ;
+--  or_Conj = ss "ْر" ** {n = Sg} ;
+--  otherwise_PConj = ss "ْتهروِسي" ;
+--  part_Prep = ss "ْف" ;
+--  please_Voc = ss "ةلَسي" ;
+--  possess_Prep = ss "ْف" ;
+--  quite_Adv = ss "قُِتي" ;
+--  she_Pron = mkNP "سهي" "هر" "هر" Sg P3 ;
+--  so_AdA = ss "سْ" ;
+--  somebody_NP = regNP "سْمبْدي" Sg ;
+  someSg_Det = mkDet "أَحَد" Pl Const ;
+  somePl_Det = mkDet "بَعض" Pl Const ;
+--  something_NP = regNP "سْمتهِنغ" Sg ;
+--  somewhere_Adv = ss "سْموهري" ;
+  that_Quant = mkQuant3 "ذَلِكَ" "تِلكَ" "أُلٱِكَ" Def;
+--  that_NP = regNP "تهَت" Sg ;
+  there_Adv = ss "هُناك" ;
+--  there7to_Adv = ss "تهري" ;
+--  there7from_Adv = ss ["فرْم تهري"] ;
+--  therefore_PConj = ss "تهرفْري" ;
+--  these_NP = regNP "تهسي" Pl ;
+ they_Pron = mkNP "هُمْ" "هُمْ" "هُمْ" (Per3 Masc Pl) ; 
+  this_Quant = mkQuant7 "هَذا" "هَذِهِ" "هَذَان" "هَذَيْن" "هَاتَان" "هَاتَيْن" "هَؤُلَاء" Def;
+--  this_NP = regNP "تهِس" Sg ;
+--  those_NP = regNP "تهْسي" Pl ;
+--  through_Prep = ss "تهرُْغه" ;
+--  too_AdA = ss "تّْ" ;
+--  to_Prep = ss "تْ" ;
+--  under_Prep = ss "ُندر" ;
+--  very_AdA = ss "ثري" ;
+--  want_VV = P.mkVV (P.regV "وَنت") ;
+  we_Pron = mkNP "نَحنُ" "نا" "نا" (Per1 Plur) ;
+  whatPl_IP = mkIP "ماذا" Pl ;
+  whatSg_IP = mkIP "ماذا" Sg ;
+  when_IAdv = ss "مَتَى" ;
+--  when_Subj = ss "وهن" ;
+  where_IAdv = ss "أَينَ" ;
+--  whichPl_IDet = mkDeterminer Pl ["وهِعه"] ;
+--  whichSg_IDet = mkDeterminer Sg ["وهِعه"] ;
+  whoSg_IP = mkIP "مَنْ" Sg ;
+  whoPl_IP = mkIP "مَنْ" Pl ;
+--  why_IAdv = ss "وهي" ;
+--  without_Prep = ss "وِتهُْت" ;
+  with_Prep = ss "مَع" ;
+--  yes_Phr = ss "يس" ;
+  youSg_Pron = mkNP "أَنتَ" "كَ" "كَ" (Per2 Masc Sg) ;
+  youPl_Pron = mkNP "أَنتُمْ" "كُمْ" "كُمْ" (Per2 Masc Sg) ;
+  youPol_Pron = mkNP "أَنتِ" "كِ" "كِ" (Per2 Fem Sg) ;
+--
+--
+--oper
+--  mkQuant : Str -> Str -> {s : Number => Str} = \x,y -> {
+--    s = table Number [x ; y]
+--    } ;
+--
+}

lib/resource-1.0/arabic/VerbAra.gf

@@ -0,0 +1,40 @@
+concrete VerbAra of Verb = CatAra ** open Prelude, ResAra in {
+
+  flags optimize=all_subs ;
+
+  lin
+    UseV = predV ;
+    ComplV2 v np = insertObj np (predV v);
+    ComplV3 v np np2 = insertObj np2 (insertObj np (predV v)) ;
+
+{-{s = \\_ => v.c2 ++ np.s ! Acc ++ v.c3 ++ np2.s ! Acc ;
+                 a = {pgn = Per3 Masc Sg ; isPron = False} } --FIXME
+      (predV v) ;-}
+--
+--    ComplVV v vp = insertObj (\\a => infVP v.isAux vp a) (predVV v) ;
+--
+--    ComplVS v s  = insertObj (\\_ => conjThat ++ s.s) (predV v) ;
+--    ComplVQ v q  = insertObj (\\_ => q.s ! QIndir) (predV v) ;
+--
+--    ComplVA  v    ap = insertObj (ap.s) (predV v) ;
+--    ComplV2A v np ap = 
+--      insertObj (\\_ => v.c2 ++ np.s ! Acc ++ ap.s ! np.a) (predV v) ;
+--
+    UseComp xabar = kaan xabar ;
+
+    AdvVP vp adv = insertStr adv.s vp ;
+
+--    AdVVP adv vp = insertAdV adv.s vp ;
+--
+--    ReflV2 v = insertObj (\\a => v.c2 ++ reflPron ! a) (predV v) ;
+--
+--    PassV2 v = insertObj (\\_ => v.s ! VPPart) (predAux auxBe) ;
+--
+--    UseVS, UseVQ = \vv -> {s = vv.s ; c2 = [] ; isRefl = vv.isRefl} ; -- no "تْ"
+--
+    CompAP ap = {s = \\agr,c => ap.s ! Hum ! agr.g ! agr.n ! Indef ! c} ; --FIXME
+    CompNP np = {s = \\_,c => np.s ! c};
+--    CompAdv a = {s = \\_ => a.s} ;
+--
+--
+}