From d2b49b1936b0d122c1e80f9db804cf31a5bb14ff Mon Sep 17 00:00:00 2001 From: Inari Listenmaa Date: Tue, 27 Aug 2019 16:36:41 +0200 Subject: [PATCH] (Som) Add ProgrVP --- src/somali/IdiomSom.gf | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/somali/IdiomSom.gf b/src/somali/IdiomSom.gf index 2c2214095..db6b84759 100644 --- a/src/somali/IdiomSom.gf +++ b/src/somali/IdiomSom.gf @@ -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