mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-10-25 09:13:18 -06:00
(Som) Add ProgrVP
This commit is contained in:
1 parent
d077965a6b
commit
d2b49b1936
1 file changed
+7
-1
@@ -31,7 +31,13 @@ concrete IdiomSom of Idiom = CatSom ** open Prelude, ResSom, VerbSom in {
|
||||
ExistIPAdv : IP -> Adv -> QCl ; -- which houses are there in Paris
|
||||
-}
|
||||
-- : VP -> VP ;
|
||||
--ProgrVP vp = vp ** { } ;
|
||||
ProgrVP vp = vp ** {
|
||||
s = table {
|
||||
VPres _ agr pol => vp.s ! VPres Progressive agr pol ;
|
||||
VPast _ agr => vp.s ! VPast Progressive agr ;
|
||||
VNegPast _ => vp.s ! VNegPast Progressive ;
|
||||
x => vp.s ! x }
|
||||
} ;
|
||||
|
||||
|
||||
{- TODO: Saeed p. 92 optative
|
||||
|
||||
Reference in new issue
Block a user