From de9ed61a272575fccd1f8555f5736affdbded391 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 28 Oct 2008 16:15:13 +0000
Subject: German Attempto - lots of words to check

---
 next-lib/src/german/ParadigmsGer.gf | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

(limited to 'next-lib/src')

diff --git a/next-lib/src/german/ParadigmsGer.gf b/next-lib/src/german/ParadigmsGer.gf
index 446bbe07d..03a70a946 100644
--- a/next-lib/src/german/ParadigmsGer.gf
+++ b/next-lib/src/german/ParadigmsGer.gf
@@ -215,14 +215,18 @@ mkV : overload {
 
 mkV2 : overload {
 
--- Two-place verbs with a preposition.
+-- Two-place regular verbs with direct object (accusative, transitive verbs).
 
-  mkV2 : V -> Prep -> V2 ;
+  mkV2 : Str -> V2 ;
 
--- Two-place verbs with direct object (accusative, transitive verbs).
+-- Two-place verbs with direct object.
 
   mkV2 : V -> V2 ;
 
+-- Two-place verbs with a preposition.
+
+  mkV2 : V -> Prep -> V2 ;
+
 -- Two-place verbs with object in the given case.
 
   mkV2 : V -> Case -> V2
@@ -498,8 +502,9 @@ mkV2 : overload {
   datV2 : V -> V2 ;
 
   mkV2 = overload {
-    mkV2 : V -> Prep -> V2 = prepV2;
+    mkV2 : Str -> V2 = \s -> dirV2 (regV s) ;
     mkV2 : V -> V2 = dirV2 ;
+    mkV2 : V -> Prep -> V2 = prepV2;
     mkV2 : V -> Case -> V2 = \v,c -> prepV2 v (mkPrep [] c)
     };
 
-- 
cgit v1.2.3