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

(ExtendFunctor,Eng,Romance) Add construction "how to walk"

Browse Source 
Default implementation: "how does one walk"
This commit is contained in:
Inari Listenmaa
2019-04-11 11:46:58 +02:00
parent 00649a04c0
commit a3302848ac
4 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/abstract/Extend.gf
View File

@@ -138,6 +138,7 @@ abstract Extend = Cat ** {
-- proper structure of "it is AP to VP" -- proper structure of "it is AP to VP"
PredAPVP : AP -> VP -> Cl ; -- it is good to walk PredAPVP : AP -> VP -> Cl ; -- it is good to walk
PredIAdvVP : IAdv -> VP -> QCl ; -- how to walk?
-- to use an AP as CN or NP without CN -- to use an AP as CN or NP without CN

1
src/common/ExtendFunctor.gf
View File

@@ -63,6 +63,7 @@ lin
FrontComplDirectVS = variants {} ; -- NP -> VS -> Utt -> Cl ; -- "I am here", she said FrontComplDirectVS = variants {} ; -- NP -> VS -> Utt -> Cl ; -- "I am here", she said
FrontComplDirectVQ = variants {} ; -- NP -> VQ -> Utt -> Cl ; -- "where", she asked FrontComplDirectVQ = variants {} ; -- NP -> VQ -> Utt -> Cl ; -- "where", she asked
PredAPVP ap vp = ImpersCl (UseComp (CompAP (SentAP ap (EmbedVP vp)))) ; -- DEFAULT it is (good to walk) PredAPVP ap vp = ImpersCl (UseComp (CompAP (SentAP ap (EmbedVP vp)))) ; -- DEFAULT it is (good to walk)
PredIAdvVP iadv vp = QuestIAdv iadv (GenericCl vp) ; -- DEFAULT how does one walk
AdjAsCN = variants {} ; -- AP -> CN ; -- a green one ; en grön (Swe) AdjAsCN = variants {} ; -- AP -> CN ; -- a green one ; en grön (Swe)
AdjAsNP = variants {} ; -- AP -> NP ; -- green (is good) AdjAsNP = variants {} ; -- AP -> NP ; -- green (is good)
ReflRNP = variants {} ; -- VPSlash -> RNP -> VP ; -- love my family and myself ReflRNP = variants {} ; -- VPSlash -> RNP -> VP ; -- love my family and myself

3
src/english/ExtendEng.gf
View File

@@ -15,7 +15,7 @@ concrete ExtendEng of Extend =
FocusAP, FocusAdV, FocusAdv, FocusObj, GenIP, GenModIP, GenModNP, GenNP, GenRP, FocusAP, FocusAdV, FocusAdv, FocusObj, GenIP, GenModIP, GenModNP, GenNP, GenRP,
GerundAdv, GerundCN, GerundNP, IAdvAdv, ICompAP, InOrderToVP, MkVPS, NominalizeVPSlashNP, GerundAdv, GerundCN, GerundNP, IAdvAdv, ICompAP, InOrderToVP, MkVPS, NominalizeVPSlashNP,
PassAgentVPSlash, PassVPSlash, PastPartAP, PastPartAgentAP, PositAdVAdj, PredVPS, PredVPSVV, PredetRNP, PrepCN, PassAgentVPSlash, PassVPSlash, PastPartAP, PastPartAgentAP, PositAdVAdj, PredVPS, PredVPSVV, PredetRNP, PrepCN,
PresPartAP, PurposeVP, ReflPoss, ReflPron, ReflRNP, SlashBareV2S, SlashV2V, StrandQuestSlash, StrandRelSlash, PredIAdvVP, PresPartAP, PurposeVP, ReflPoss, ReflPron, ReflRNP, SlashBareV2S, SlashV2V, StrandQuestSlash, StrandRelSlash,
UncontractedNeg, UttAccIP, UttAccNP, UttAdV, UttDatIP, UttDatNP, UttVPShort, WithoutVP, BaseVPS2, ConsVPS2, ConjVPS2, ComplVPS2, MkVPS2 UncontractedNeg, UttAccIP, UttAccNP, UttAdV, UttDatIP, UttDatNP, UttVPShort, WithoutVP, BaseVPS2, ConsVPS2, ConjVPS2, ComplVPS2, MkVPS2
] ]
with with
@@ -191,6 +191,7 @@ concrete ExtendEng of Extend =
ByVP vp = {s = "by" ++ (GerundAdv (lin VP vp)).s} ; ByVP vp = {s = "by" ++ (GerundAdv (lin VP vp)).s} ;
PredIAdvVP iadv vp = {s = \\t,a,p,q => iadv.s ++ infVP VVInf vp False Simul CPos (agrP3 Sg)} ;
NominalizeVPSlashNP vpslash np = NominalizeVPSlashNP vpslash np =
let vp : ResEng.VP = insertObjPre (\\_ => vpslash.c2 ++ np.s ! NPAcc) vpslash ; let vp : ResEng.VP = insertObjPre (\\_ => vpslash.c2 ++ np.s ! NPAcc) vpslash ;

2
src/romance/ExtendRomanceFunctor.gf
View File

@@ -190,6 +190,8 @@ incomplete concrete ExtendRomanceFunctor of Extend =
InOrderToVP = variants {} ; -- VP -> Adv ; -- (in order) to publish the document InOrderToVP = variants {} ; -- VP -> Adv ; -- (in order) to publish the document
PredIAdvVP iadv vp = {s = \\_,_,_,_ => iadv.s ++ infStr vp} ;
ApposNP np1 np2 = np1 ** { ApposNP np1 np2 = np1 ** {
s = \\c => { s = \\c => {
c1 = (np1.s ! c).c1 ++ (np2.s ! c).c1 ; c1 = (np1.s ! c).c1 ++ (np2.s ! c).c1 ;