romance postverbal clitic details

lib/resource-1.0/romance/CommonRomance.gf

@@ -85,7 +85,7 @@ oper
 
 param 
   VF =
-     VInfin
+     VInfin Bool
    | VFin   TMood Number Person 
    | VImper NumPersI 
    | VPart  Gender Number 
@@ -106,7 +106,7 @@ param
      VPFinite TMood Anteriority
    | VPImperat
    | VPGerund
-   | VPInfinit Anteriority ;
+   | VPInfinit Anteriority Bool ;
 
   RTense =
      RPres 
@@ -149,7 +149,7 @@ oper
     <Sg,P2> => VImper SgP2 ; 
     <Pl,P1> => VImper PlP1 ; 
     <Pl,P2> => VImper PlP2 ;
-    _       => VInfin
+    _       => VInfin False
     } ; 
 
 ---
@@ -183,6 +183,10 @@ oper
     mkOrd : {s : Degree => AForm => Str} -> {s : AAgr => Str} ;
     mkOrd x = {s = \\ag => x.s ! Posit ! AF ag.g ag.n} ;
 
+-- This is used in Spanish and Italian to bind clitics with preceding verb.
+
+    bindIf : Bool -> Str = \b -> if_then_Str b BIND [] ;
+
   param
     VPAgr = 
        VPAgrSubj                    -- elle est partie, elle s'est vue

lib/resource-1.0/romance/DiffRomance.gf

@@ -37,13 +37,15 @@ interface DiffRomance = open CommonRomance, Prelude in {
   oper conjunctCase : NPForm -> NPForm ;
 
 -- How infinitives and clitics are placed relative to each other
--- (Fre "la voir", Ita "vederla").
+-- (Fre "la voir", Ita "vederla"). The $Bool$ is used for indicating
+-- if there are any clitics.
 
-  oper clitInf : Str -> Str -> Str ;
+  oper clitInf : Bool -> Str -> Str -> Str ;
 
 -- To render pronominal arguments as clitics and/or ordinary complements. 
+-- Returns $True$ if there are any clitics.
 
-  oper pronArg : Number -> Person -> CAgr -> CAgr -> Str * Str ;
+  oper pronArg : Number -> Person -> CAgr -> CAgr -> Str * Str * Bool ;
 
 -- To render imperatives (with their clitics etc).
 

lib/resource-1.0/romance/ResRomance.gf

@@ -52,14 +52,14 @@ oper
     let
       vfin  : TMood -> Agr -> Str = \tm,a -> verb.s ! VFin tm a.n a.p ;
       vpart : AAgr -> Str = \a -> verb.s ! VPart a.g a.n ;
-      vinf  = verb.s ! VInfin ;
+      vinf  : Bool -> Str = \b -> verb.s ! VInfin b ;
       vger  = verb.s ! VGer ;
 
       typ = verb.vtyp ;
       aux = auxVerb typ ;
 
       habet  : TMood -> Agr -> Str = \tm,a -> aux ! VFin tm a.n a.p ;
-      habere : Str = aux ! VInfin ;
+      habere : Str = aux ! VInfin False ;
 
       vimp : Agr -> Str = \a -> verb.s ! VImper (case <a.n,a.p> of {
         <Pl,P1> => PlP1 ;
@@ -80,10 +80,10 @@ oper
     s = table {
       VPFinite t Simul => vf (vfin t)   (\_ -> []) ;
       VPFinite t Anter => vf (habet t)  vpart ;   --# notpresent
-      VPInfinit Anter  => vf (\_ -> []) (\a -> habere ++ vpart a) ;  --# notpresent
+      VPInfinit Anter _=> vf (\_ -> []) (\a -> habere ++ vpart a) ;  --# notpresent
       VPImperat        => vf vimp       (\_ -> []) ;
       VPGerund         => vf (\_ -> []) (\_ -> vger) ;
-      VPInfinit Simul  => vf (\_ -> []) (\_ -> vinf)
+      VPInfinit Simul b=> vf (\_ -> []) (\_ -> vinf b)
       } ;
     agr    = partAgr typ ;
     neg    = negation ;
@@ -217,12 +217,12 @@ oper
 
   infVP : VP -> Agr -> Str = \vp,agr ->
       let
-        inf  = (vp.s ! VPInfinit Simul).inf ! (aagr agr.g agr.n) ;
-        neg  = vp.neg ! Pos ; --- Neg not in API
         clpr = pronArg agr.n agr.p vp.clAcc vp.clDat ;
+        inf  = (vp.s ! VPInfinit Simul clpr.p3).inf ! (aagr agr.g agr.n) ;
+        neg  = vp.neg ! Pos ; --- Neg not in API
         obj  = neg.p2 ++ clpr.p2 ++ vp.comp ! agr ++ vp.ext ! Pos ---- pol
       in
-      clitInf (clpr.p1 ++ vp.clit2) inf ++ obj ;
+      clitInf clpr.p3 (clpr.p1 ++ vp.clit2) inf ++ obj ;
 
 }
 

lib/resource-1.0/romance/SentenceRomance.gf

@@ -25,7 +25,7 @@ incomplete concrete SentenceRomance of Sentence =
         (mkClause
          (np.s ! Aton Nom) np.a
          (insertComplement 
-           (\\a => prepCase vv.c2.c ++ v2.s ! VInfin) (predV vv))).s ;
+           (\\a => prepCase vv.c2.c ++ v2.s ! VInfin False) (predV vv))).s ;
        c2 = v2.c2
       } ;