diff --git a/lib/src/spanish/ExtraSpa.gf b/lib/src/spanish/ExtraSpa.gf
index c92510f33..f8bc683a3 100644
--- a/lib/src/spanish/ExtraSpa.gf
+++ b/lib/src/spanish/ExtraSpa.gf
@@ -1,5 +1,5 @@
 concrete ExtraSpa of ExtraSpaAbs = ExtraRomanceSpa ** 
-  open CommonRomance, PhonoSpa, MorphoSpa, ParadigmsSpa, ParamX, ResSpa, BeschSpa,
+  open CommonRomance, PhonoSpa, MorphoSpa, ParadigmsSpa, ParamX, ResSpa, BeschSpa, (I = IrregSpa),
   Prelude in {
   flags coding=utf8 ;
   
@@ -78,4 +78,6 @@ concrete ExtraSpa of ExtraSpaAbs = ExtraRomanceSpa **
     ExistsNP np = 
       mkClause [] True False np.a (insertComplement (\\_ => (np.s ! Nom).ton) (predV (mkV "existir"))) ;
 
+    UseComp_estar comp = insertComplement comp.s (predV I.estar_V) ;
+
 }
diff --git a/lib/src/spanish/ExtraSpaAbs.gf b/lib/src/spanish/ExtraSpaAbs.gf
index 55fa2c642..847b92510 100644
--- a/lib/src/spanish/ExtraSpaAbs.gf
+++ b/lib/src/spanish/ExtraSpaAbs.gf
@@ -32,4 +32,6 @@ abstract ExtraSpaAbs = ExtraRomanceAbs ** {
 
     PassVPSlash_ser : VPSlash -> VP ;
 
+    UseComp_estar : Comp -> VP ; -- esta lleno, as opposed to es lleno
+
 }