VPS and conjunction in Romance, by means of repeated unstressed pronouns (in Fre) or prodrop (other languages)

lib/src/romance/DiffRomance.gf

@@ -116,6 +116,10 @@ oper
     ext    : RPolarity => Str ;         -- que je dors / que je dorme
     } ;
 
+-- The pronoun to be repeated in $VPS$ coordination, and also in Fre inverted questions.
+-- Empty in other languages than Fre (as a kind of prodrop).
+
+  subjPron : Agr -> Str ;
 
 --2 Workarounds, to be eliminated
 

lib/src/romance/ExtraRomance.gf

@@ -37,4 +37,33 @@ incomplete concrete ExtraRomance of ExtraRomanceAbs = CatRomance **
 
     PrepCN prep cn = {s = prep.s ++ prepCase prep.c ++ cn.s ! Sg} ;
     
+  lincat
+    VPS   = {s : Mood => Agr => Bool => Str} ;
+    [VPS] = {s1,s2 : Mood => Agr => Bool => Str} ;
+
+  lin
+    BaseVPS x y = {
+      s1 = \\m,a,b => x.s ! m ! a ! b ;
+      s2 = \\m,a,b => subjPron a ++ y.s ! m ! a ! b
+      } ;
+
+    ConsVPS x y = {
+      s1 = \\m,a,b => x.s ! m ! a ! b ;
+      s2 = \\m,a,b => subjPron a ++ y.s1 ! m ! a ! b ++ y.s2 ! m ! a ! b
+      } ;
+
+    PredVPS np vpi = {
+      s = \\m => (np.s ! Nom).comp ++ vpi.s ! m ! np.a ! np.isNeg
+      } ;
+
+    MkVPS tm p vp = {
+      s = \\m,agr,isNeg => 
+          tm.s ++ p.s ++
+          (mkClausePol (orB isNeg vp.isNeg) [] False False agr vp).s 
+            ! DDir ! tm.t ! tm.a ! p.p ! m
+      } ;
+
+    ConjVPS = conjunctDistrTable3 Mood Agr Bool ;
+
+
 } 

lib/src/romance/ExtraRomanceAbs.gf

@@ -1,5 +1,7 @@
 abstract ExtraRomanceAbs = Cat, Extra[
   VPI,ListVPI,BaseVPI,ConsVPI,MkVPI,ComplVPIVV,ConjVPI,
+  VPS,ListVPS,BaseVPS,ConsVPS,ConjVPS,MkVPS,PredVPS,
+  Temp,Pol,S,NP,
   VV,VP,Conj,Pron,ProDrop,CompIQuant,IQuant,IComp,PrepCN,CN,Prep,Adv] ** {
 
   fun