now in the parsing grammar ComplVV gets as additional arguments the polarity and the anteriority

lib/src/english/ParseEng.gf

@@ -7,7 +7,7 @@ concrete ParseEng of ParseEngAbs =
   NumeralEng,
   SymbolEng [PN, Symb, MkSymb, SymbPN],
   ConjunctionEng,
-  VerbEng - [SlashV2V, PassV2, UseCopula],
+  VerbEng - [SlashV2V, PassV2, UseCopula, ComplVV],
   AdverbEng,
   PhraseEng,
   SentenceEng,
@@ -74,6 +74,9 @@ lin
                                            v.c3 ++ 
                                            vpi.s ! VVAux ! a)
                                    (predVc v) ;
+  ComplVV v a p vp = insertObj (\\agr => a.s ++ p.s ++ 
+                                         infVP v.typ vp a.a p.p agr)
+                               (predVV v) ;
 
   PredVPosv np vp = {
       s = \\t,a,b,o => 

lib/src/english/ParseEngAbs.gf

@@ -6,7 +6,7 @@ abstract ParseEngAbs =
   Numeral,
   Symbol [PN, Symb, String, MkSymb, SymbPN],
   Conjunction,
-  Verb - [SlashV2V, PassV2, UseCopula],
+  Verb - [SlashV2V, PassV2, UseCopula, ComplVV],
   Adverb,
   Phrase,
   Sentence,
@@ -45,6 +45,8 @@ fun CompoundCN : Num -> N -> CN -> CN ;
     SlashVPIV2V : V2V -> Pol -> VPI -> VPSlash ;
 
     SlashSlashV2V : V2V -> Ant -> Pol -> VPSlash -> VPSlash ;
+    
+    ComplVV : VV -> Ant -> Pol -> VP -> VP ;
 
     PredVPosv,PredVPovs : NP -> VP -> Cl ;