ImpP3 in French

lib/src/abstract/Idiom.gf

@@ -19,4 +19,5 @@ abstract Idiom = Cat ** {
 
     ImpPl1    : VP -> Utt ;       -- let's go
 
+    ImpP3     : NP -> VP -> Utt ; -- let John walk
 }

lib/src/french/IdiomFre.gf

@@ -37,6 +37,11 @@ concrete IdiomFre of Idiom = CatFre **
       (mkImperative False P1 vp).s ! Pos ! {n = Pl ; g = Masc} --- fem
       } ;
 
+    ImpP3 np vp = {
+      s = (mkClause (np.s ! Nom).comp np.hasClit np.a vp).s 
+             ! DInv ! RPres ! Simul ! Pos ! Conjunct
+      } ;
+
   oper
     elisCe = elision "c" ;