From 65cc186f137d334a766595c464b6cdf92ca70a3e Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Tue, 28 Jan 2014 21:42:32 +0000
Subject: [PATCH] PredicationSwe: suppress tense string in infinitives to
 change spurious ambiguity to a metavariable. Maybe a better solution, but to
 be seen.

---
 lib/src/experimental/PredicationSwe.gf | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/lib/src/experimental/PredicationSwe.gf b/lib/src/experimental/PredicationSwe.gf
index 59c769640..8fd0b42f8 100644
--- a/lib/src/experimental/PredicationSwe.gf
+++ b/lib/src/experimental/PredicationSwe.gf
@@ -659,10 +659,11 @@ oper
     <Cond,Anter> => <shall_V.v  ! TV Act VPret,   have_V.v ! TV Act VInf,  sta ++ v.v ! TV o VSup> 
     } ;
 
-  tenseInfV : Str -> Anteriority -> Voice -> V -> Str * Str = \sta,a,o,v -> 
-    case a of {
-      Simul => <[],                     sta ++ v.v ! TV o VInf> ;  -- hon vill sova
-      Anter => <have_V.v ! TV Act VInf, sta ++ v.v ! TV o VSup>  -- hon vill (ha) sovit
+  tenseInfV : Str -> Anteriority -> Voice -> V -> Str * Str = \sta,a,o,v ->
+    let tenseMark = [] ---- sta, will produce ambiguity instead of metavariable 
+    in case a of {
+      Simul => <[],                      tenseMark ++ v.v ! TV o VInf> ;  -- hon vill sova
+      Anter => <have_V.v ! TV Act VInf,  tenseMark ++ v.v ! TV o VSup>  -- hon vill (ha) sovit
       } ;