mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-27 11:56:29 -06:00
leiss
71 lines
2.6 KiB
Plaintext
71 lines
2.6 KiB
Plaintext
--# -path=.:../abstract:../prelude:../common:
|
|
|
|
concrete VerbGrc of Verb = CatGrc ** open Prelude, ResGrc, (M=MorphoGrc) in {
|
|
|
|
flags optimize=all_subs ;
|
|
|
|
--2 Complementization rules
|
|
|
|
lin
|
|
UseV = predV ;
|
|
|
|
SlashV2a v = predV2 v ;
|
|
Slash2V3 v np = insertObjc (\\a => v.c2.s ++ np.s ! v.c2.c) (predV v ** {c2 = v.c3}) ;
|
|
Slash3V3 v np = insertObjc (\\a => v.c3.s ++ np.s ! v.c2.c) (predV2 v) ;
|
|
|
|
ComplVV v vp = insertObj (\\a => infVP vp a) (predV v) ; -- predVV? Need this for the tablet sent. TODO
|
|
ComplVS v s = insertObj (\\_ => conjThat ++ s.s) (predV v) ;
|
|
ComplVQ v q = insertObj (\\_ => q.s ! QIndir) (predV v) ;
|
|
ComplVA v ap = insertObj (\\a => ap.s ! AF (genderAgr a) (numberAgr a) Nom) (predV v) ; -- TODO check
|
|
|
|
SlashV2V v vp = insertObjc (\\a => infVP vp a) (predV2 v) ;
|
|
SlashV2S v s = insertObjc (\\_ => conjThat ++ s.s) (predV2 v) ;
|
|
SlashV2Q v q = insertObjc (\\_ => q.s ! QIndir) (predV2 v) ;
|
|
-- SlashV2A v ap = insertObjc (\\a => ap.s ! AF (genderAgr a) (numberAgr a) Nom) (predV2 v) ; -- TODO
|
|
|
|
ComplSlash vp np = insertObj (\\a => appPrep vp.c2 np) vp ;
|
|
|
|
-- SlashVV vv vp =
|
|
-- insertObj (\\a => infVP vv.isAux vp a) (predVV vv) ** {c2 = vp.c2} ;
|
|
|
|
-- Need SlashV2V for the Greek school tablet example: advise the students to abstain from meat
|
|
-- abstract/Verb.gf: SlashV2V : V2V -> VP -> VPSlash ; -- beg (her) to go
|
|
-- SlashV2VNP : V2V -> NP -> VPSlash -> VPSlash ; -- beg me to buy
|
|
|
|
SlashV2VNP vv np vp =
|
|
insertObjPre (\\_ => vv.c2.s ++ np.s ! vv.c2.c)
|
|
(insertObjc (\\a => infVP vp a) (predV2 vv)) ** {c2 = vp.c2} ;
|
|
|
|
--2 Other ways of forming verb phrases:
|
|
|
|
UseComp comp = insertObj comp.s (predV einai_V) ;
|
|
|
|
ReflVP v = insertObjPre (\\a => v.c2.s ++ M.reflPron ! a ! v.c2.c) v ;
|
|
|
|
-- experimental: Med/Pass
|
|
PassV2 v = insertObjPre (\\a => case a of {Ag g n p => v.med ! Part GPres (AF g n Nom)})
|
|
-- Irrefl => v.med ! Part GPres (AF Masc Sg Nom) }) -- default?? TODO
|
|
(predV M.eimi_V) ;
|
|
|
|
--- UseVS, UseVQ = \vv -> {s = vv.s ; c2 = [] ; isRefl = vv.isRefl} ; -- no "to"
|
|
|
|
AdvVP vp adv = insertAdv adv.s vp ;
|
|
|
|
AdVVP adv vp = insertObj (\\a => adv.s) vp ;
|
|
|
|
--2 Complements to copula
|
|
|
|
CompAP ap = {s = \\agr => case agr of {Ag g n p => ap.s ! AF g n Nom} } ;
|
|
CompNP np = {s = \\agr => np.s ! Nom} ; -- TODO: How to drop defArt?
|
|
CompAdv a = {s = \\agr => a.s} ;
|
|
CompCN cn = {s = \\agr => let n = numberAgr agr
|
|
in cn.s ! n ! Nom ++ cn.s2 ! n ! Nom} ;
|
|
|
|
-- Copula alone
|
|
|
|
UseCopula = predV einai_V ;
|
|
|
|
oper
|
|
einai_V = (lin V M.eimi_V) ;
|
|
}
|