From 0ee80e5eac7f5c48f2dc30cc3bb22b914657eb1d Mon Sep 17 00:00:00 2001
From: Aarne Ranta <aarne@chalmers.se>
Date: Thu, 17 Jan 2019 20:20:26 +0100
Subject: [PATCH] ParadigmsEng: added auxVV ; corrected negative forms of infVV

---
 src/english/ParadigmsEng.gf | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/english/ParadigmsEng.gf b/src/english/ParadigmsEng.gf
index 3aa7303cb..61896cba1 100644
--- a/src/english/ParadigmsEng.gf
+++ b/src/english/ParadigmsEng.gf
@@ -313,7 +313,8 @@ oper
   mkVS  : V -> VS ; -- sentence-compl e.g. say (that S)
   mkV2S : V -> Prep -> V2S ; -- e.g. tell (NP) (that S)
   mkVV  : V -> VV ; -- e.g. want (to VP)
-  infVV : V -> VV ; -- e.g. want (to VP)
+  auxVV : V -> VV ; -- e.g. must (VP)
+  infVV : V -> VV ; -- e.g. must (VP) (old name of auxVV)
   ingVV : V -> VV ; -- e.g. start (VPing)
   mkV2V : overload {
     mkV2V : Str -> V2V ;
@@ -579,8 +580,13 @@ mkInterj : Str -> Interj
     p = v.p ; 
     typ = VVInf
     } ;
-  infVV  v = lin VV {
-    s = table {VVF vf => v.s ! vf ; _ => v.s ! VInf} ;
+  auxVV, infVV = \v -> lin VV {
+    s = table {
+          VVF vf => v.s ! vf ; 
+          VVPresNeg => v.s ! VPres ++ "not" ; 
+          VVPastNeg => v.s ! VPast ++ "not" ; --# notpresent
+          _ => v.s ! VInf
+          } ;
     p = v.p ; 
     typ = VVAux
     } ;