(Ara) Fix existential constructions

src/arabic/IdiomAra.gf

@@ -1,6 +1,7 @@
 concrete IdiomAra of Idiom = CatAra ** open
   Prelude,
   ResAra,
+  VerbAra,
   ParadigmsAra
  in {
 
@@ -18,16 +19,14 @@ concrete IdiomAra of Idiom = CatAra ** open
   -- : NP  -> RS -> Cl ; -- it is I who did it
   --CleftNP np rs =
 
-  -- TODO: check page 61 for existentials and clefts /IL
-
   -- : Adv -> S -> Cl ; -- it is here she slept
   CleftAdv adv s =
-  	let comp : Comp = {s = \\_,_ => adv.s ++ s.s} in ----
-  	predVP he_Pron (kaan comp) ;
+    let comp : Comp = CompAdv adv in
+    predVP he_Pron (UseComp comp) ;
 
    -- : NP -> Cl ;        -- there is a house
   ExistNP np =
-    predVP emptyNP (insertObj np (predV copula ** {c2=noPrep})) ; -- dummy /IL
+    predVP (emptyNP ** {s=\\c=>"هُنَاكَ"}) (UseComp (CompNP np)) ; -- IL
 
   -- ExistIP   : IP -> QCl ;       -- which houses are there
 
@@ -35,7 +34,7 @@ concrete IdiomAra of Idiom = CatAra ** open
 
   -- : NP -> Adv -> Cl ;    -- there is a house in Paris
   ExistNPAdv np adv =
-   	predVP emptyNP (insertStr adv.s (insertObj np (predV copula ** {c2=noPrep}))) ;
+    predVP (emptyNP ** {s=\\c=>"هُنَاكَ"}) (AdvVP (UseComp (CompNP np)) adv) ; -- IL
 
    -- ExistIPAdv : IP -> Adv -> QCl ;   -- which houses are there in Paris
 
@@ -60,6 +59,4 @@ concrete IdiomAra of Idiom = CatAra ** open
         in \\c => np.s ! c ++ refl ! c ++ pron.s ! Gen
     } ;
 
-
 }
-