forked from GitHub/gf-core
"Committed_by_peb"
This commit is contained in:
@@ -6,9 +6,10 @@ lin
|
|||||||
Sg = {s = "SINGULAR"};
|
Sg = {s = "SINGULAR"};
|
||||||
-- Pl = {s = "PLURAL"};
|
-- Pl = {s = "PLURAL"};
|
||||||
|
|
||||||
s n g b x y = {s = x.s ++ y.s};
|
s n g b x y = {s = x.s ++ y.s};
|
||||||
np n g b x y = {s = x.s ++ y.s};
|
np n g b x y = {s = x.s ++ y.s};
|
||||||
vp n g b x y = {s = x.s ++ y.s};
|
vpt n g b x y = {s = x.s ++ y.s};
|
||||||
|
vpi x = {s = x.s};
|
||||||
|
|
||||||
npBest n g x = {s = x.s};
|
npBest n g x = {s = x.s};
|
||||||
npPl g b x = {s = x.s};
|
npPl g b x = {s = x.s};
|
||||||
@@ -18,6 +19,10 @@ ett = {s = "ett"};
|
|||||||
den = {s = "den"};
|
den = {s = "den"};
|
||||||
det = {s = "det"};
|
det = {s = "det"};
|
||||||
|
|
||||||
|
ingen = {s = "ingen"};
|
||||||
|
inget = {s = "inget"};
|
||||||
|
inga g = {s = "inga"};
|
||||||
|
|
||||||
alla g = {s = "alla"};
|
alla g = {s = "alla"};
|
||||||
de g = {s = "de"};
|
de g = {s = "de"};
|
||||||
|
|
||||||
@@ -26,11 +31,21 @@ katter = {s = "katter"};
|
|||||||
katten = {s = "katten"};
|
katten = {s = "katten"};
|
||||||
katterna = {s = "katterna"};
|
katterna = {s = "katterna"};
|
||||||
|
|
||||||
|
hund = {s = "hund"};
|
||||||
|
hundar = {s = "hundar"};
|
||||||
|
hunden = {s = "hunden"};
|
||||||
|
hundarna = {s = "hundarna"};
|
||||||
|
|
||||||
barn n = {s = "barn"};
|
barn n = {s = "barn"};
|
||||||
barnet = {s = "barnet"};
|
barnet = {s = "barnet"};
|
||||||
barnen = {s = "barnen"};
|
barnen = {s = "barnen"};
|
||||||
|
|
||||||
|
djur n = {s = "djur"};
|
||||||
|
djuret = {s = "djuret"};
|
||||||
|
djuren = {s = "djuren"};
|
||||||
|
|
||||||
jagar = {s = "jagar"};
|
jagar = {s = "jagar"};
|
||||||
|
sover = {s = "sover"};
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -12,10 +12,10 @@ Sg, Pl : Num;
|
|||||||
Best, OBest : Def;
|
Best, OBest : Def;
|
||||||
Utr, Neu : Gen;
|
Utr, Neu : Gen;
|
||||||
|
|
||||||
|
s : (n:Num) -> (g:Gen) -> (b:Def) -> NP n g b -> VP -> S;
|
||||||
s : (n:Num) -> (g:Gen) -> (b:Def) -> NP n g b -> VP -> S;
|
np : (n:Num) -> (g:Gen) -> (b:Def) -> D n g b -> N n g b -> NP n g b;
|
||||||
np : (n:Num) -> (g:Gen) -> (b:Def) -> D n g b -> N n g b -> NP n g b;
|
vpt : (n:Num) -> (g:Gen) -> (b:Def) -> V -> NP n g b -> VP;
|
||||||
vp : (n:Num) -> (g:Gen) -> (b:Def) -> V -> NP n g b -> VP;
|
vpi : V -> VP;
|
||||||
|
|
||||||
npBest : (n:Num) -> (g:Gen) -> N n g Best -> NP n g Best;
|
npBest : (n:Num) -> (g:Gen) -> N n g Best -> NP n g Best;
|
||||||
npPl : (g:Gen) -> (b:Def) -> N Pl g b -> NP Pl g b;
|
npPl : (g:Gen) -> (b:Def) -> N Pl g b -> NP Pl g b;
|
||||||
@@ -23,7 +23,11 @@ npPl : (g:Gen) -> (b:Def) -> N Pl g b -> NP Pl g b;
|
|||||||
en : D Sg Utr OBest;
|
en : D Sg Utr OBest;
|
||||||
ett : D Sg Neu OBest;
|
ett : D Sg Neu OBest;
|
||||||
den : D Sg Utr Best;
|
den : D Sg Utr Best;
|
||||||
det : D Sg Neu OBest;
|
det : D Sg Neu Best;
|
||||||
|
|
||||||
|
ingen : D Sg Utr OBest;
|
||||||
|
inget : D Sg Neu OBest;
|
||||||
|
inga : (g:Gen) -> D Pl g OBest;
|
||||||
|
|
||||||
alla : (g:Gen) -> D Pl g OBest;
|
alla : (g:Gen) -> D Pl g OBest;
|
||||||
de : (g:Gen) -> D Pl g Best;
|
de : (g:Gen) -> D Pl g Best;
|
||||||
@@ -33,11 +37,21 @@ katten : N Sg Utr Best;
|
|||||||
katter : N Pl Utr OBest;
|
katter : N Pl Utr OBest;
|
||||||
katterna : N Pl Utr Best;
|
katterna : N Pl Utr Best;
|
||||||
|
|
||||||
|
hund : N Sg Utr OBest;
|
||||||
|
hunden : N Sg Utr Best;
|
||||||
|
hundar : N Pl Utr OBest;
|
||||||
|
hundarna : N Pl Utr Best;
|
||||||
|
|
||||||
barn : (n:Num) -> N n Neu OBest;
|
barn : (n:Num) -> N n Neu OBest;
|
||||||
barnet : N Sg Neu Best;
|
barnet : N Sg Neu Best;
|
||||||
barnen : N Pl Neu Best;
|
barnen : N Pl Neu Best;
|
||||||
|
|
||||||
|
djur : (n:Num) -> N n Neu OBest;
|
||||||
|
djuret : N Sg Neu Best;
|
||||||
|
djuren : N Pl Neu Best;
|
||||||
|
|
||||||
jagar : V;
|
jagar : V;
|
||||||
|
sover : V;
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -11,7 +11,7 @@ np_p : N -> NP;
|
|||||||
vp_t : V -> NP -> VP;
|
vp_t : V -> NP -> VP;
|
||||||
d_a, d_m : D;
|
d_a, d_m : D;
|
||||||
n_c, n_f : N;
|
n_c, n_f : N;
|
||||||
v_e : V;
|
v_e, v_h : V;
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -21,6 +21,7 @@ d_m = { s = "many"; n = Pl };
|
|||||||
n_c = { s = table { Sg => "lion"; Pl => "lions" } };
|
n_c = { s = table { Sg => "lion"; Pl => "lions" } };
|
||||||
n_f = { s = table { _ => "fish" } };
|
n_f = { s = table { _ => "fish" } };
|
||||||
v_e = { s = table { Sg => "eats" ; Pl => "eat" } };
|
v_e = { s = table { Sg => "eats" ; Pl => "eat" } };
|
||||||
|
v_h = { s = table { Sg => "hunts" ; Pl => "hunt" } };
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -12,6 +12,7 @@ d_m = { s = "many" };
|
|||||||
n_c = { s = variants { "lion" ; "lions" } };
|
n_c = { s = variants { "lion" ; "lions" } };
|
||||||
n_f = { s = "fish" };
|
n_f = { s = "fish" };
|
||||||
v_e = { s = variants { "eats" ; "eat" } };
|
v_e = { s = variants { "eats" ; "eat" } };
|
||||||
|
v_h = { s = variants { "hunts" ; "hunt" } };
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -21,6 +21,7 @@ d_m = { s = table { _ => "maanga" }; n = Pl };
|
|||||||
n_c = { s = table { _ => "lejon" }; g = Neu };
|
n_c = { s = table { _ => "lejon" }; g = Neu };
|
||||||
n_f = { s = table { Sg => "fisk"; Pl => "fiskar" }; g = Utr };
|
n_f = { s = table { Sg => "fisk"; Pl => "fiskar" }; g = Utr };
|
||||||
v_e = { s = "aeter" };
|
v_e = { s = "aeter" };
|
||||||
|
v_h = { s = "jagar" };
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user