summaryrefslogtreecommitdiff
path: root/grammars/ljung
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-08-14 07:58:04 +0000
committerbjorn <bjorn@bringert.net>2008-08-14 07:58:04 +0000
commit77270a010a0b453e9a84c3e62db7cfd22e49d55d (patch)
treed17682a545d6ac1e68ff49b8c20964182794baf7 /grammars/ljung
parent0bbb906141711767678f82b15a7b43e65e0b5bd6 (diff)
Remove the grammars directory. It was full of old grammars that don't compile these days. See the old source distributions if you want them.
Diffstat (limited to 'grammars/ljung')
-rw-r--r--grammars/ljung/fin_dep_types/Findep.gf53
-rw-r--r--grammars/ljung/fin_dep_types/FindepAbs.gf57
-rw-r--r--grammars/ljung/thesis/CopyMorphism.gf22
-rw-r--r--grammars/ljung/thesis/CopyMorphismAbs.gf15
-rw-r--r--grammars/ljung/thesis/Erasing.gf26
-rw-r--r--grammars/ljung/thesis/ErasingAbs.gf21
-rw-r--r--grammars/ljung/thesis/FragmentAbstract.gf19
-rw-r--r--grammars/ljung/thesis/FragmentNumber.gf29
-rw-r--r--grammars/ljung/thesis/FragmentResource.gf10
-rw-r--r--grammars/ljung/thesis/FragmentSimple.gf18
-rw-r--r--grammars/ljung/thesis/FragmentSwedish.gf27
-rw-r--r--grammars/ljung/timeflies/TimeFlies.gf24
-rw-r--r--grammars/ljung/timeflies/TimeFliesAbs.gf27
-rw-r--r--grammars/ljung/timeflies/TimeFliesCnc.gf2
-rw-r--r--grammars/ljung/variants/TestVars.gf14
-rw-r--r--grammars/ljung/variants/TestVarsA.gf11
-rw-r--r--grammars/ljung/variants/TestVarsR.gf27
17 files changed, 0 insertions, 402 deletions
diff --git a/grammars/ljung/fin_dep_types/Findep.gf b/grammars/ljung/fin_dep_types/Findep.gf
deleted file mode 100644
index 3fb3d6385..000000000
--- a/grammars/ljung/fin_dep_types/Findep.gf
+++ /dev/null
@@ -1,53 +0,0 @@
-
-concrete Findep of FindepAbs = {
-
-flags conversion = finite;
-
-lin
-
-Sg = {s = "SINGULAR"};
--- Pl = {s = "PLURAL"};
-
-s n g b x y = {s = x.s ++ y.s};
-np 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};
-npPl g b x = {s = x.s};
-
-en = {s = "en"};
-ett = {s = "ett"};
-den = {s = "den"};
-det = {s = "det"};
-
-ingen = {s = "ingen"};
-inget = {s = "inget"};
-inga g = {s = "inga"};
-
-alla g = {s = "alla"};
-de g = {s = "de"};
-
-katt = {s = "katt"};
-katter = {s = "katter"};
-katten = {s = "katten"};
-katterna = {s = "katterna"};
-
-hund = {s = "hund"};
-hundar = {s = "hundar"};
-hunden = {s = "hunden"};
-hundarna = {s = "hundarna"};
-
-barn n = {s = "barn"};
-barnet = {s = "barnet"};
-barnen = {s = "barnen"};
-
-djur n = {s = "djur"};
-djuret = {s = "djuret"};
-djuren = {s = "djuren"};
-
-jagar = {s = "jagar"};
-sover = {s = "sover"};
-
-}
-
diff --git a/grammars/ljung/fin_dep_types/FindepAbs.gf b/grammars/ljung/fin_dep_types/FindepAbs.gf
deleted file mode 100644
index a1931ade8..000000000
--- a/grammars/ljung/fin_dep_types/FindepAbs.gf
+++ /dev/null
@@ -1,57 +0,0 @@
-
-abstract FindepAbs = {
-
-cat
-Num; Gen; Def;
-S; V; VP;
-D Num Gen Def; N Num Gen Def; NP Num Gen Def;
-
-fun
-
-Sg, Pl : Num;
-Best, OBest : Def;
-Utr, Neu : Gen;
-
-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;
-vpt : (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;
-npPl : (g:Gen) -> (b:Def) -> N Pl g b -> NP Pl g b;
-
-en : D Sg Utr OBest;
-ett : D Sg Neu OBest;
-den : D Sg Utr Best;
-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;
-de : (g:Gen) -> D Pl g Best;
-
-katt : N Sg Utr OBest;
-katten : N Sg Utr Best;
-katter : N Pl Utr OBest;
-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;
-barnet : N Sg 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;
-sover : V;
-
-}
-
diff --git a/grammars/ljung/thesis/CopyMorphism.gf b/grammars/ljung/thesis/CopyMorphism.gf
deleted file mode 100644
index 71faf1d99..000000000
--- a/grammars/ljung/thesis/CopyMorphism.gf
+++ /dev/null
@@ -1,22 +0,0 @@
-
--- the example 4.1 from Ljunglöf (2004, page 82)
-
-concrete CopyMorphism of CopyMorphismAbs = {
-
-lincat
-S = { s : Str };
-A = { s1 : Str; s2 : Str };
-
-lin
-
-f x = { s = x.s1 ++ x.s2 };
-
-g x y = { s1 = x.s1 ++ y.s1;
- s2 = x.s2 ++ y.s2 };
-
-ac = { s1 = "a"; s2 = "c" };
-
-bd = { s1 = "b"; s2 = "d" };
-
-
-}
diff --git a/grammars/ljung/thesis/CopyMorphismAbs.gf b/grammars/ljung/thesis/CopyMorphismAbs.gf
deleted file mode 100644
index 02929f699..000000000
--- a/grammars/ljung/thesis/CopyMorphismAbs.gf
+++ /dev/null
@@ -1,15 +0,0 @@
-
--- the example 4.1 from Ljunglöf (2004, page 82)
-
-abstract CopyMorphismAbs = {
-
-cat S; A;
-
-fun
-
-f : A -> S;
-g : A -> A -> A;
-ac : A;
-bd : A;
-
-}
diff --git a/grammars/ljung/thesis/Erasing.gf b/grammars/ljung/thesis/Erasing.gf
deleted file mode 100644
index 8b393eec8..000000000
--- a/grammars/ljung/thesis/Erasing.gf
+++ /dev/null
@@ -1,26 +0,0 @@
-
--- the example 4.1 from Ljunglöf (2004, page 82)
-
-concrete Erasing of ErasingAbs = {
-
-lincat
-S = { s : Str };
-A = { s1 : Str; s2 : Str };
-B = { s : Str };
-C = { s : Str };
-
-lin
-
-f x = { s = x.s1 };
-
-g x y z = { s1 = x.s2 ++ y.s;
- s2 = x.s1 ++ z.s };
-
-a = { s1 = "a1"; s2 = "a2" };
-
-b = { s = "b" };
-
-c = { s = "c" };
-
-
-}
diff --git a/grammars/ljung/thesis/ErasingAbs.gf b/grammars/ljung/thesis/ErasingAbs.gf
deleted file mode 100644
index 7b42b8863..000000000
--- a/grammars/ljung/thesis/ErasingAbs.gf
+++ /dev/null
@@ -1,21 +0,0 @@
-
--- the example 4.1 from Ljunglöf (2004, page 82)
-
-abstract ErasingAbs = {
-
-cat S; A; B; C;
-
-fun
-
-f : A -> S;
-
-g : A -> B -> C -> A;
-
-a : A;
-
-b : B;
-
-c : C;
-
-
-}
diff --git a/grammars/ljung/thesis/FragmentAbstract.gf b/grammars/ljung/thesis/FragmentAbstract.gf
deleted file mode 100644
index 43653a933..000000000
--- a/grammars/ljung/thesis/FragmentAbstract.gf
+++ /dev/null
@@ -1,19 +0,0 @@
-
-abstract FragmentAbstract = {
-
-flags startcat=NP;
-
-cat S; NP; VP; D; N; V;
-
-fun
-
-s_p : NP -> VP -> S;
-np_d : D -> N -> NP;
-np_p : N -> NP;
-vp_t : V -> NP -> VP;
-d_a, d_m : D;
-n_c, n_f : N;
-v_e, v_h : V;
-
-}
-
diff --git a/grammars/ljung/thesis/FragmentNumber.gf b/grammars/ljung/thesis/FragmentNumber.gf
deleted file mode 100644
index dafe9a2b7..000000000
--- a/grammars/ljung/thesis/FragmentNumber.gf
+++ /dev/null
@@ -1,29 +0,0 @@
-
-concrete FragmentNumber of FragmentAbstract = open FragmentResource in {
-
-flags startcat= S;
-
-lincat
-
-N = { s : Num => Str };
-V = { s : Num => Str };
-VP = { s : Num => Str };
-
-D = { s : Str; n : Num };
-NP = { s : Str; n : Num };
-
-lin
-
-s_p x y = { s = x.s ++ y.s!x.n };
-np_d x y = { s = x.s ++ y.s!x.n; n = x.n };
-np_p x = { s = x.s!Pl; n = Pl };
-vp_t x y = { s = table { z => x.s!z ++ y.s } };
-d_a = { s = "a"; n = Sg };
-d_m = { s = "many"; n = Pl };
-n_c = { s = table { Sg => "lion"; Pl => "lions" } };
-n_f = { s = table { _ => "fish" } };
-v_e = { s = table { Sg => "eats" ; Pl => "eat" } };
-v_h = { s = table { Sg => "hunts" ; Pl => "hunt" } };
-
-}
-
diff --git a/grammars/ljung/thesis/FragmentResource.gf b/grammars/ljung/thesis/FragmentResource.gf
deleted file mode 100644
index 154b50a52..000000000
--- a/grammars/ljung/thesis/FragmentResource.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-
-resource FragmentResource = {
-
-param
-
-Num = Sg | Pl;
-Gen = Neu | Utr;
-Order = Dir | Indir | Sub | Top;
-
-}
diff --git a/grammars/ljung/thesis/FragmentSimple.gf b/grammars/ljung/thesis/FragmentSimple.gf
deleted file mode 100644
index 7de175ffe..000000000
--- a/grammars/ljung/thesis/FragmentSimple.gf
+++ /dev/null
@@ -1,18 +0,0 @@
-
-concrete FragmentSimple of FragmentAbstract = {
-
-lin
-
-s_p x y = { s = x.s ++ y.s };
-np_d x y = { s = x.s ++ y.s };
-np_p x = { s = x.s };
-vp_t x y = { s = x.s ++ y.s };
-d_a = { s = "a" };
-d_m = { s = "many" };
-n_c = { s = variants { "lion" ; "lions" } };
-n_f = { s = "fish" };
-v_e = { s = variants { "eats" ; "eat" } };
-v_h = { s = variants { "hunts" ; "hunt" } };
-
-}
-
diff --git a/grammars/ljung/thesis/FragmentSwedish.gf b/grammars/ljung/thesis/FragmentSwedish.gf
deleted file mode 100644
index 587be7136..000000000
--- a/grammars/ljung/thesis/FragmentSwedish.gf
+++ /dev/null
@@ -1,27 +0,0 @@
-
-concrete FragmentSwedish of FragmentAbstract = open FragmentResource in {
-
-lincat
-
-S = { s : Order => Str };
-VP = { s1 : Str; s2 : Str };
-N = { s : Num => Str; g : Gen };
-D = { s : Gen => Str; n : Num };
-
-lin
-
-s_p x y = { s = table { Indir => y.s1 ++ x.s ++ y.s2;
- Top => y.s2 ++ y.s1 ++ x.s;
- _ => x.s ++ y.s1 ++ y.s2 } };
-np_d x y = { s = x.s!y.g ++ y.s!x.n };
-np_p x = { s = x.s!Pl };
-vp_t x y = { s1 = x.s; s2 = y.s };
-d_a = { s = table { Utr => "en"; Neu => "ett" }; n = Sg };
-d_m = { s = table { _ => "maanga" }; n = Pl };
-n_c = { s = table { _ => "lejon" }; g = Neu };
-n_f = { s = table { Sg => "fisk"; Pl => "fiskar" }; g = Utr };
-v_e = { s = "aeter" };
-v_h = { s = "jagar" };
-
-}
-
diff --git a/grammars/ljung/timeflies/TimeFlies.gf b/grammars/ljung/timeflies/TimeFlies.gf
deleted file mode 100644
index f46592b55..000000000
--- a/grammars/ljung/timeflies/TimeFlies.gf
+++ /dev/null
@@ -1,24 +0,0 @@
-
-concrete TimeFlies of TimeFliesAbs = {
-
-lin
-s1 x y = {s = x.s ++ y.s};
-vp1 x = {s = x.s};
-vp2 x y = {s = x.s ++ y.s};
-vp3 x y = {s = x.s ++ y.s};
-np1 x = {s = x.s};
-np2 x y = {s = x.s ++ y.s};
-np3 x y = {s = x.s ++ y.s};
-pp1 x y = {s = x.s ++ y.s};
-
-flyV = {s = "flies"};
-timeV = {s = "time"};
-likeV = {s = "like"};
-flyN = {s = "flies"};
-timeN = {s = "time"};
-arrowN = {s = "arrow"};
-anD = {s = "an"};
-timeD = {s = "time"};
-likeP = {s = "like"};
-
-}
diff --git a/grammars/ljung/timeflies/TimeFliesAbs.gf b/grammars/ljung/timeflies/TimeFliesAbs.gf
deleted file mode 100644
index fe52f82b6..000000000
--- a/grammars/ljung/timeflies/TimeFliesAbs.gf
+++ /dev/null
@@ -1,27 +0,0 @@
-
-abstract TimeFliesAbs = {
-
-cat
-S; VP; NP; PP; V; N; D; P;
-
-fun
-s1 : NP -> VP -> S;
-vp1 : V -> VP;
-vp2 : V -> NP -> VP;
-vp3 : VP -> PP -> VP;
-np1 : N -> NP;
-np2 : D -> N -> NP;
-np3 : NP -> PP -> NP;
-pp1 : P -> NP -> PP;
-
-flyV : V;
-timeV : V;
-likeV : V;
-flyN : N;
-timeN : N;
-arrowN : N;
-anD : D;
-timeD : D;
-likeP : P;
-}
-
diff --git a/grammars/ljung/timeflies/TimeFliesCnc.gf b/grammars/ljung/timeflies/TimeFliesCnc.gf
deleted file mode 100644
index 5952dda49..000000000
--- a/grammars/ljung/timeflies/TimeFliesCnc.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-
-resource
diff --git a/grammars/ljung/variants/TestVars.gf b/grammars/ljung/variants/TestVars.gf
deleted file mode 100644
index ce0073f8f..000000000
--- a/grammars/ljung/variants/TestVars.gf
+++ /dev/null
@@ -1,14 +0,0 @@
-
-concrete TestVars of TestVarsA = open TestVarsR in {
-
-lincat S = {s1:Str; s2:AB => Str};
-
-lin
-
-f x = { s1 = [];
- s2 = table{ y => variants{ x.s2 ! A; x.s1 ++ x.s2 ! y } } };
-
-a = { s1 = "a" ++ variants{ "b"; "c" };
- s2 = table{ A => variants{ "A"; "Q" }; B => "B" } };
-
-}
diff --git a/grammars/ljung/variants/TestVarsA.gf b/grammars/ljung/variants/TestVarsA.gf
deleted file mode 100644
index a52804425..000000000
--- a/grammars/ljung/variants/TestVarsA.gf
+++ /dev/null
@@ -1,11 +0,0 @@
-
-abstract TestVarsA = {
-
-cat S;
-
-fun
-f : S -> S;
-a : S;
-
-}
-
diff --git a/grammars/ljung/variants/TestVarsR.gf b/grammars/ljung/variants/TestVarsR.gf
deleted file mode 100644
index c0c02926c..000000000
--- a/grammars/ljung/variants/TestVarsR.gf
+++ /dev/null
@@ -1,27 +0,0 @@
-
-resource TestVarsR = {
-
-param AB = A | B;
-param XYZ = X AB | Y | Z AB;
-
-}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-