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

some edits of Extend

Browse Source
This commit is contained in:
Aarne Ranta
2017-08-29 11:54:41 +02:00
parent 336cbf90ab
commit 945732f695
3 changed files with 21 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/abstract/Extend.gf
View File

@@ -118,10 +118,17 @@ abstract Extend = Cat ** {
ComplBareVS : VS -> S -> VP ; -- say she runs ComplBareVS : VS -> S -> VP ; -- say she runs
SlashBareV2S : V2S -> S -> VPSlash ; -- answer (to him) it is good SlashBareV2S : V2S -> S -> VPSlash ; -- answer (to him) it is good
ComplDirectVS : VS -> Utt -> VP ; -- say: "today"
ComplDirectVQ : VQ -> Utt -> VP ; -- ask: "when"
-- front the extraposed part -- front the extraposed part
FrontExtPredVP : NP -> VP -> Cl ; -- I am here, she said FrontComplDirectVS : NP -> VS -> Utt -> Cl ; -- "I am here", she said
InvFrontExtPredVP : NP -> VP -> Cl ; -- I am here, said she FrontComplDirectVQ : NP -> VQ -> Utt -> Cl ; -- "where", she asked
-- proper structure of "it is AP to VP"
PredAPVP : AP -> VP -> Cl ; -- it is good to walk
-- to use an AP as CN or NP without CN -- to use an AP as CN or NP without CN

14
src/common/ExtendFunctor.gf
View File

@@ -53,10 +53,13 @@ lin
NominalizeVPSlashNP = variants {} ; -- VPSlash -> NP -> NP ; NominalizeVPSlashNP = variants {} ; -- VPSlash -> NP -> NP ;
ExistsNP = variants {} ; -- NP -> Cl ; -- there exists a number / there exist numbers ExistsNP = variants {} ; -- NP -> Cl ; -- there exists a number / there exist numbers
PurposeVP = variants {} ; -- VP -> Adv ; -- to become happy PurposeVP = variants {} ; -- VP -> Adv ; -- to become happy
ComplBareVS = variants {} ; -- VS -> S -> VP ; -- say she runs ComplBareVS = ComplVS ; -- VS -> S -> VP ; -- say she runs ; DEFAULT say that she runs
SlashBareV2S = variants {} ; -- V2S -> S -> VPSlash ; -- answer (to him) it is good SlashBareV2S = SlashV2S ; -- V2S -> S -> VPSlash ; -- answer (to him) it is good ; DEFAULT answer that it is good
FrontExtPredVP = variants {} ; -- NP -> VP -> Cl ; -- I am here, she said ComplDirectVS vs utt = AdvVP (UseV <lin V vs : V>) (lin Adv {s = ":" ++ quoted utt.s}) ; -- DEFAULT complement added as Adv in quotes
InvFrontExtPredVP = variants {} ; -- NP -> VP -> Cl ; -- I am here, said she ComplDirectVQ vq utt = AdvVP (UseV <lin V vq : V>) (lin Adv {s = ":" ++ quoted utt.s}) ; -- DEFAULT complement added as Adv in quotes
FrontComplDirectVS = variants {} ; -- NP -> VS -> Utt -> Cl ; -- "I am here", she said
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)
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
@@ -103,4 +106,7 @@ lin
UttAccIP = UttIP ; -- whom (accusative) ; DEFAULT who UttAccIP = UttIP ; -- whom (accusative) ; DEFAULT who
UttDatIP ip = UttAccIP (lin IP ip) ; -- whom (dative) ; DEFAULT who UttDatIP ip = UttAccIP (lin IP ip) ; -- whom (dative) ; DEFAULT who
oper
quoted : Str -> Str = \s -> "\"" ++ s ++ "\"" ; ---- TODO bind ; move to Prelude?
} }

4
src/english/ExtendEng.gf
View File

@@ -11,8 +11,8 @@ concrete ExtendEng of Extend =
Base_nr_RNP, Base_rn_RNP, Base_rr_RNP, ByVP, CompBareCN, Base_nr_RNP, Base_rn_RNP, Base_rr_RNP, ByVP, CompBareCN,
CompIQuant, CompQS, CompS, CompVP, ComplBareVS, ComplGenVV, ComplSlashPartLast, ComplVPSVV, CompoundAP, CompIQuant, CompQS, CompS, CompVP, ComplBareVS, ComplGenVV, ComplSlashPartLast, ComplVPSVV, CompoundAP,
CompoundN, ConjRNP, ConjVPS, ConsVPS, Cons_nr_RNP, Cons_rr_RNP, DetNPFem, EmbedPresPart, EmptyRelSlash, CompoundN, ConjRNP, ConjVPS, ConsVPS, Cons_nr_RNP, Cons_rr_RNP, DetNPFem, EmbedPresPart, EmptyRelSlash,
ExistsNP, FocusAP, FocusAdV, FocusAdv, FocusObj, FrontExtPredVP, GenIP, GenModIP, GenModNP, GenNP, GenRP, ExistsNP, FocusAP, FocusAdV, FocusAdv, FocusObj, GenIP, GenModIP, GenModNP, GenNP, GenRP,
GerundAdv, GerundCN, GerundNP, IAdvAdv, ICompAP, InOrderToVP, InvFrontExtPredVP, 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, 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