msyds/gf-rgl
1
0
Fork 0
forked from GitHub/gf-rgl
Code Pull Requests Activity

(May) Add more lins to ExtendMay

Browse Source
This commit is contained in:
Inari Listenmaa
2023-02-24 14:04:49 +08:00
parent b4a2f686bb
commit a2aca74dd6
1 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/malay/ExtendMay.gf
View File

@@ -4,21 +4,19 @@ concrete ExtendMay of Extend = CatMay
** ExtendFunctor - [ ** ExtendFunctor - [
VPS -- finite VP's with tense and polarity VPS -- finite VP's with tense and polarity
, ListVPS , ListVPS
, VPI , VPI, MkVPI, ComplVPIVV
, ListVPI -- infinitive VP's (TODO: with anteriority and polarity) , ListVPI -- infinitive VP's (TODO: with anteriority and polarity)
, MkVPS , MkVPS
, PredVPS , PredVPS, RelVPS, QuestVPS, SQuestVPS
-- excluded because RGL funs needed for them not implemented yet -- excluded because RGL funs needed for them not implemented yet
, SlashBareV2S
, PredAPVP , PredAPVP
, ComplBareVS
,PresPartAP, PastPartAP ,PresPartAP, PastPartAP
,GenModNP, GenNP, GenRP ,GenModNP, GenNP, GenRP
,CompoundN ,CompoundN
,GerundNP ,GerundNP, GerundAdv
-- VPS2 ; -- have loved (binary version of VPS) -- VPS2 ; -- have loved (binary version of VPS)
@@ -49,9 +47,13 @@ concrete ExtendMay of Extend = CatMay
s = np.s ! Bare ++ vps.s ; s = np.s ! Bare ++ vps.s ;
} ; } ;
-- SQuestVPS : NP -> VPS -> QS ; -- has she walked -- SQuestVPS : NP -> VPS -> QS ; -- has she walked
SQuestVPS np vps = {s = np.s ++ vps.s} ; SQuestVPS np vps = {s = "adakah" ++ np.s ! Bare ++ vps.s} ;
-- QuestVPS : IP -> VPS -> QS ; -- who has walked -- QuestVPS : IP -> VPS -> QS ; -- who has walked
QuestVPS ip vps = {s = ip.s ! Bare ++ vps.s} ;
-- RelVPS : RP -> VPS -> RS ; -- which won't sleep -- RelVPS : RP -> VPS -> RS ; -- which won't sleep
RelVPS rp vps = {s = \\person => rp.s ++ vps.s} ;
-- MkVPI : VP -> VPI ; -- to sleep (TODO: Ant and Pol) -- MkVPI : VP -> VPI ; -- to sleep (TODO: Ant and Pol)
MkVPI vp = {s = linVP vp} ; MkVPI vp = {s = linVP vp} ;
@@ -93,6 +95,8 @@ concrete ExtendMay of Extend = CatMay
s = \\_ => linVP vp s = \\_ => linVP vp
} ; } ;
GerundAdv vp = ss (linVP vp) ;
-- MkVPS2 : Temp -> Pol -> VPSlash -> VPS2 ; -- has loved -- MkVPS2 : Temp -> Pol -> VPSlash -> VPS2 ; -- has loved
-- ConjVPS2 : Conj -> [VPS2] -> VPS2 ; -- has loved and now hates -- ConjVPS2 : Conj -> [VPS2] -> VPS2 ; -- has loved and now hates