1
0
forked from GitHub/gf-rgl

(Kor) SC, PredSCVP

This commit is contained in:
Inari Listenmaa
2020-04-01 18:44:52 +02:00
parent c23016aaad
commit cd9dd6bdc7
2 changed files with 10 additions and 7 deletions

View File

@@ -316,13 +316,16 @@ oper
Sentence : Type = {s : ClType => Str} ;
predVP : NounPhrase -> VerbPhrase -> ClSlash = \np,vp -> vp ** {
predVP : NounPhrase -> VerbPhrase -> ClSlash = \np,vp ->
let npstr : Str = np.s ! vp.sc in predVP' npstr vp ;
predVP' : (np : Str) -> VerbPhrase -> ClSlash = \np,vp -> vp ** {
s = \\t,a,p,cltyp =>
let vf = case cltyp of {
Subord => VAttr p ;
WithConj => VStem ;
_ => VF Polite p } -- TODO: more tenses, politeness
in np.s ! vp.sc
in np
++ vp.nObj -- an object, not copula complement
++ vp.adv
++ vp.s ! vf

View File

@@ -11,7 +11,7 @@ lin
PredVP = predVP ;
-- : SC -> VP -> Cl ; -- that she goes is good (Saeed p. 94)
--PredSCVP sc vp = ;
PredSCVP sc vp = predVP' sc.s vp ;
--2 Clauses missing object noun phrases
-- : NP -> VPSlash -> ClSlash ;
@@ -35,16 +35,16 @@ lin
ImpVP vp = {s = \\num,pol => linVP (VImp num pol) Statement vp} ;
--2 Embedded sentences
-}
-- : S -> SC ;
EmbedS s = {s = s.s ! True} ; -- choose subordinate
EmbedS s = {s = s.s ! Subord ++ "것이"} ; -- TODO check subject case
-- : QS -> SC ;
-- EmbedQS qs = { } ;
-- : VP -> SC ;
EmbedVP vp = {s = infVP vp} ;
-}
EmbedVP vp = {s = vp.s ! VAttr Pos ++ "것이"} ;
--2 Sentences
-- : Temp -> Pol -> Cl -> S ;