(Som) Add ImpVP and UttImp{Sg,Pl,Pol}

This commit is contained in:
Inari Listenmaa
2019-09-25 11:53:27 +02:00
parent 9973349270
commit 1f62af0e2c
3 changed files with 9 additions and 7 deletions

View File

@@ -16,7 +16,7 @@ concrete CatSom of Cat = CommonX - [Adv,IAdv] ** open ResSom, Prelude in {
Cl = ResSom.ClSlash ; Cl = ResSom.ClSlash ;
ClSlash = ResSom.ClSlash ; ClSlash = ResSom.ClSlash ;
SSlash = ResSom.Sentence ; -- sentence missing NP; e.g. "she has looked at" SSlash = ResSom.Sentence ; -- sentence missing NP; e.g. "she has looked at"
Imp = SS ; -- imperative e.g. "look at this" Imp = {s : Number => Polarity => Str} ; -- imperative e.g. "look at this"
--2 Questions and interrogatives --2 Questions and interrogatives

View File

@@ -8,9 +8,11 @@ concrete PhraseSom of Phrase = CatSom ** open Prelude, ResSom in {
UttIAdv iadv = iadv ; UttIAdv iadv = iadv ;
UttImpSg pol imp = UttImpSg pol imp =
let ma = case pol.p of { Pos => [] ; Neg => "ma" } let ha = case pol.p of {Pos => [] ; Neg => "ha"}
in { s = ma ++ imp.s } ; in {s = ha ++ imp.s ! Sg ! pol.p} ;
UttImpPl = UttImpSg ; UttImpPl pol imp =
let ha = case pol.p of {Pos => [] ; Neg => "ha"}
in {s = ha ++ imp.s ! Pl ! pol.p} ;
UttImpPol = UttImpSg ; UttImpPol = UttImpSg ;
UttIP ip = {s = ip.s ! Abs} ; UttIP ip = {s = ip.s ! Abs} ;

View File

@@ -34,7 +34,7 @@ lin
--2 Imperatives --2 Imperatives
-- : VP -> Imp ; -- : VP -> Imp ;
--ImpVP vp = { s = linVP vp } ; ImpVP vp = {s = \\num,pol => linVP (VImp num pol) Statement vp} ;
--2 Embedded sentences --2 Embedded sentences