diff --git a/lib/src/abstract/Idiom.gf b/lib/src/abstract/Idiom.gf
index 6b012becc..085484ec7 100644
--- a/lib/src/abstract/Idiom.gf
+++ b/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
 }
diff --git a/lib/src/french/IdiomFre.gf b/lib/src/french/IdiomFre.gf
index be62dc374..38d00d2d7 100644
--- a/lib/src/french/IdiomFre.gf
+++ b/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" ;