discourse devices for English

lib/src/abstract/Verb.gf

@@ -56,6 +56,10 @@ abstract Verb = Cat ** {
     AdvVP    : VP -> Adv -> VP ;        -- sleep here
     AdVVP    : AdV -> VP -> VP ;        -- always sleep
 
+    AdvVPSlash : VPSlash -> Adv -> VPSlash ;  -- use (it) here
+    AdVVPSlash : AdV -> VPSlash -> VPSlash ;  -- always use (it)
+   
+
 -- *Agents of passives* are constructed as adverbs with the
 -- preposition [Structural Structural.html]$.8agent_Prep$.
 

lib/src/api/Constructors.gf

@@ -1366,6 +1366,8 @@ incomplete resource Constructors = open Grammar in {  --%
       = \a,p -> TUseRCl TPres a p ; --% 
       mkRS : (Tense) -> (Ant) -> (Pol) -> RCl -> RS -- that wouldn't have slept 
       = TUseRCl ; --% 
+      mkRS : Temp -> (Pol) -> RCl -> RS -- that wouldn't have slept 
+      = UseRCl ; --% 
       mkRS : Conj -> RS -> RS -> RS -- who sleeps and whose mother runsx
       = \c,x,y -> ConjRS c (BaseRS x y) ; --% 
       mkRS : Conj -> ListRS -> RS -- who sleeps, whom I see and who sleeps --:

lib/src/english/ExtraEng.gf

@@ -108,4 +108,18 @@ concrete ExtraEng of ExtraEngAbs = CatEng **
     EmbedPresPart vp = {s = infVP VVPresPart vp (agrP3 Sg)} ; --- agr
 
     UttVPShort vp = {s = infVP VVAux vp (agrP3 Sg)} ;
+
+  do_VV = {
+    s = table {
+      VVF VInf => ["do"] ;
+      VVF VPres => "does" ;
+      VVF VPPart => ["done"] ; ----
+      VVF VPresPart => ["doing"] ;
+      VVF VPast => ["did"] ;      --# notpresent
+      VVPastNeg => ["didn't"] ;      --# notpresent
+      VVPresNeg => "doesn't"
+      } ;
+    typ = VVAux
+    } ;
+
 } 

lib/src/english/ExtraEngAbs.gf

@@ -21,4 +21,7 @@ abstract ExtraEngAbs = Extra - [ProDrop] ** {
 
     UttVPShort : VP -> Utt ;
 
+-- emphasizing "do", e.g. "John does walk"
+
+   do_VV : VV ;
 }

lib/src/english/VerbEng.gf

@@ -34,9 +34,11 @@ concrete VerbEng of Verb = CatEng ** open ResEng in {
     UseComp comp = insertObj comp.s (predAux auxBe) ;
 
     AdvVP vp adv = insertObj (\\_ => adv.s) vp ;
-
     AdVVP adv vp = insertAdV adv.s vp ;
 
+    AdvVPSlash vp adv = insertObj (\\_ => adv.s) vp ** {c2 = vp.c2} ;
+    AdVVPSlash adv vp = insertAdV adv.s vp ** {c2 = vp.c2} ;
+
     ReflVP v = insertObjPre (\\a => v.c2 ++ reflPron ! a) v ;
 
     PassV2 v = insertObj (\\_ => v.s ! VPPart) (predAux auxBe) ;