GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-06-08 06:36:32 -06:00
Code Issues Packages Projects Releases Wiki Activity

Dutch syntax complete (but not checked)

Browse Source
This commit is contained in:
aarne
2009-11-17 10:29:33 +00:00
parent 74bf9741ab
commit 97b2208074
11 changed files with 309 additions and 320 deletions
Download Patch File Download Diff File Expand all files Collapse all files

99
src/dutch/VerbDut.gf
View File

@@ -12,7 +12,7 @@ concrete VerbDut of Verb = CatDut ** open Prelude, ResDut in {
insertExtrapos vpi.p3 (
insertInf vpi.p2 (
insertObj vpi.p1 (
predVGen v.isAux {s = v.s ; aux = v.aux ; prefix = v.prefix ; vtype = v.vtype}))) ; ---- subtyp
predVGen v.isAux (v2v v)))) ; ---- subtyp
ComplVS v s =
insertExtrapos (conjThat ++ s.s ! Sub) (predV v) ;
@@ -20,49 +20,49 @@ concrete VerbDut of Verb = CatDut ** open Prelude, ResDut in {
insertExtrapos (q.s ! QIndir) (predV v) ;
ComplVA v ap = insertObj (\\ _ => ap.s ! APred) (predV v) ;
SlashV2a v = predV {s = v.s ; aux = v.aux ; prefix = v.prefix ; vtype = v.vtype} ** {c2 = v.c2} ;
--
-- Slash2V3 v np =
-- insertObj (\\_ => appPrep v.c2 np.s) (predV v) ** {c2 = v.c3} ;
-- Slash3V3 v np =
-- insertObj (\\_ => appPrep v.c3 np.s) (predV v) ** {c2 = v.c2} ;
--
-- SlashV2S v s =
-- insertExtrapos (conjThat ++ s.s ! Sub) (predV v) ** {c2 = v.c2} ;
-- SlashV2Q v q =
-- insertExtrapos (q.s ! QIndir) (predV v) ** {c2 = v.c2} ;
-- SlashV2V v vp =
-- let
-- vpi = infVP False vp
-- in
-- insertExtrapos vpi.p3 (
-- insertInf vpi.p2 (
-- insertObj vpi.p1 ((predV v)))) ** {c2 = v.c2} ;
--
-- SlashV2A v ap =
-- insertObj (\\_ => ap.s ! APred) (predV v) ** {c2 = v.c2} ;
--
SlashV2a v = predV (v2v v) ** {c2 = v.c2} ;
Slash2V3 v np =
insertObj (\\_ => appPrep v.c2 np.s) (predVv v) ** {c2 = v.c3} ;
Slash3V3 v np =
insertObj (\\_ => appPrep v.c3 np.s) (predVv v) ** {c2 = v.c2} ;
SlashV2S v s =
insertExtrapos (conjThat ++ s.s ! Sub) (predVv v) ** {c2 = v.c2} ;
SlashV2Q v q =
insertExtrapos (q.s ! QIndir) (predVv v) ** {c2 = v.c2} ;
SlashV2V v vp =
let
vpi = infVP False vp
in
insertExtrapos vpi.p3 (
insertInf vpi.p2 (
insertObj vpi.p1 ((predVv v)))) ** {c2 = v.c2} ;
SlashV2A v ap =
insertObj (\\_ => ap.s ! APred) (predVv v) ** {c2 = v.c2} ;
ComplSlash vp np = insertObj (\\_ => appPrep vp.c2 np.s) vp ;
--
-- SlashVV v vp =
-- let
-- vpi = infVP v.isAux vp
-- in
-- insertExtrapos vpi.p3 (
-- insertInf vpi.p2 (
-- insertObj vpi.p1 (
-- predVGen v.isAux v))) ** {c2 = vp.c2} ;
--
-- SlashV2VNP v np vp =
-- let
-- vpi = infVP False vp
-- in
-- insertExtrapos vpi.p3 (
-- insertInf vpi.p2 (
-- insertObj vpi.p1 (
-- insertObj (\\_ => appPrep v.c2 np.s) (
-- predV v)))) ** {c2 = v.c2} ;
--
SlashVV v vp =
let
vpi = infVP v.isAux vp
in
insertExtrapos vpi.p3 (
insertInf vpi.p2 (
insertObj vpi.p1 (
predVGen v.isAux (v2v v)))) ** {c2 = vp.c2} ;
SlashV2VNP v np vp =
let
vpi = infVP False vp
in
insertExtrapos vpi.p3 (
insertInf vpi.p2 (
insertObj vpi.p1 (
insertObj (\\_ => appPrep v.c2 np.s) (
predVv v)))) ** {c2 = v.c2} ;
UseComp comp = insertAdv (comp.s ! agrP3 Sg) (predV zijn_V) ; -- agr not used
CompAP ap = {s = \\_ => ap.s ! APred} ;
CompNP np = {s = \\_ => np.s ! NPNom} ;
@@ -70,9 +70,14 @@ concrete VerbDut of Verb = CatDut ** open Prelude, ResDut in {
AdvVP vp adv = insertAdv adv.s vp ;
AdVVP adv vp = insertAdV adv.s vp ;
--
-- ReflVP vp = insertObj (\\a => appPrep vp.c2 (reflPron ! a)) vp ;
--
-- PassV2 v = insertInf (v.s ! VPastPart APred) (predV werdenPass) ;
ReflVP vp = insertObj (\\a => appPrep vp.c2 (\\_ => reflPron ! a)) vp ;
PassV2 v = insertInf (v.s ! VPerf) (predV worden_V) ;
---- workaround for a subtyping bug
oper
v2v : VVerb -> VVerb = \v ->
{s = v.s ; aux = v.aux ; prefix = v.prefix ; vtype = v.vtype} ;
predVv : V -> VP = \v -> predV (v2v v) ;
}