enabled many more functions, in particular verb patterns, in App, to increase translation quality. This comes with 30% longer translation time with my benchmark but should still be OK.

examples/app/App.gf

@@ -1,10 +1,9 @@
 abstract App = 
   Translate - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -14,11 +13,7 @@ abstract App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]

examples/app/AppBul.gf

@@ -4,10 +4,9 @@ concrete AppBul of App =
 
   TranslateBul - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -17,11 +16,7 @@ concrete AppBul of App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]

examples/app/AppChi.gf

@@ -4,10 +4,9 @@ concrete AppChi of App =
 
   TranslateChi - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -17,11 +16,7 @@ concrete AppChi of App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]

examples/app/AppDut.gf

@@ -4,10 +4,9 @@ concrete AppDut of App =
 
   TranslateDut - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -17,11 +16,7 @@ concrete AppDut of App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]

examples/app/AppEng.gf

@@ -4,10 +4,9 @@ concrete AppEng of App =
 
   TranslateEng - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -17,11 +16,7 @@ concrete AppEng of App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]

examples/app/AppFin.gf

@@ -4,10 +4,9 @@ concrete AppFin of App =
 
   TranslateFin - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -17,11 +16,7 @@ concrete AppFin of App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]

examples/app/AppFre.gf

@@ -4,10 +4,9 @@ concrete AppFre of App =
 
   TranslateFre - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -17,11 +16,7 @@ concrete AppFre of App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]

examples/app/AppGer.gf

@@ -4,10 +4,9 @@ concrete AppGer of App =
 
   TranslateGer - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -17,11 +16,7 @@ concrete AppGer of App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]

examples/app/AppHin.gf

@@ -4,10 +4,9 @@ concrete AppHin of App =
 
   TranslateHin - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -17,11 +16,7 @@ concrete AppHin of App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]

examples/app/AppIta.gf

@@ -4,10 +4,9 @@ concrete AppIta of App =
 
   TranslateIta - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -17,11 +16,7 @@ concrete AppIta of App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]

examples/app/AppSpa.gf

@@ -5,10 +5,9 @@ concrete AppSpa of App =
 
   TranslateSpa - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -18,11 +17,7 @@ concrete AppSpa of App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]

examples/app/AppSwe.gf

@@ -3,10 +3,9 @@
 concrete AppSwe of App = 
   TranslateSwe - [
   -- Verb
-    ComplVS, ComplVQ, ComplVA,
+    SlashV2V, 
-    Slash2V3, Slash3V3, SlashV2V, SlashV2S, SlashV2Q, SlashV2A,
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
     SlashVV, SlashV2VNP,
-    PassVP, ReflVP,
     AdvVPSlash, AdVVPSlash, VPSlashPrep,
   -- Sentence
     PredSCVP, 
@@ -16,11 +15,7 @@ concrete AppSwe of App =
     ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
   -- Idiom
     CleftNP, CleftAdv,
-    ExistIP,
+    ImpP3    
-    ExistNPAdv, ExistIPAdv,
-    ImpP3,
-    SelfAdvVP, SelfAdVVP, SelfNP
-    
   -- Construction
   -- Extensions
   ]