diff --git a/src/arabic/IdiomAra.gf b/src/arabic/IdiomAra.gf
index ebd04cd0..884763b5 100644
--- a/src/arabic/IdiomAra.gf
+++ b/src/arabic/IdiomAra.gf
@@ -31,7 +31,10 @@ concrete IdiomAra of Idiom = CatAra ** open
   ExistNP np =
     predVP (emptyNP ** {s=\\c=>"هُنَاكَ"}) (UseComp (CompNP np)) ; -- IL
 
-  -- ExistIP   : IP -> QCl ;       -- which houses are there
+  -- : IP -> QCl ;       -- which houses are there
+  ExistIP ip = let cl = ExistNP (ip2np ip False) in {
+    s = \\t,p,q => cl.s ! t ! p ! Nominal -- IL guessed
+    } ;
 
 -- 7/12/2012 generalizations of these
 
diff --git a/src/arabic/MissingAra.gf b/src/arabic/MissingAra.gf
index eb4b2e6f..e921bdcc 100644
--- a/src/arabic/MissingAra.gf
+++ b/src/arabic/MissingAra.gf
@@ -11,8 +11,6 @@ oper ComparAdvAdj : CAdv -> A -> NP -> Adv = notYet "ComparAdvAdj" ;
 oper ComparAdvAdjS : CAdv -> A -> S -> Adv = notYet "ComparAdvAdjS" ;
 oper ConjRS : Conj -> ListRS -> RS = notYet "ConjRS" ;
 oper ConsRS : RS -> ListRS -> ListRS = notYet "ConsRS" ;
-oper DetNP : Det -> NP = notYet "DetNP" ;
-oper ExistIP : IP -> QCl = notYet "ExistIP" ;
 oper FunRP : Prep -> NP -> RP -> RP = notYet "FunRP" ;
 oper ImpPl1 : VP -> Utt = notYet "ImpPl1" ;
 oper PConjConj : Conj -> PConj = notYet "PConjConj" ;