diff options
Diffstat (limited to 'examples/tutorial/resource-foods')
21 files changed, 0 insertions, 340 deletions
diff --git a/examples/tutorial/resource-foods/ExtFoods.gf b/examples/tutorial/resource-foods/ExtFoods.gf deleted file mode 100644 index 22b65a3c0..000000000 --- a/examples/tutorial/resource-foods/ExtFoods.gf +++ /dev/null @@ -1,35 +0,0 @@ -abstract ExtFoods = Foods ** { - - flags startcat=Move ; - - cat - Move ; -- declarative, question, or imperative - Verb ; -- transitive verb - Guest ; -- guest in restaurant - GuestKind ; -- type of guest - - fun - MAssert : Phrase -> Move ; -- This pizza is warm. - MDeny : Phrase -> Move ; -- This pizza isn't warm. - MAsk : Phrase -> Move ; -- Is this pizza warm? - - PVerb : Guest -> Verb -> Item -> Phrase ; -- we eat this pizza - PVerbWant : Guest -> Verb -> Item -> Phrase ; -- we want to eat this pizza - - WhichVerb : Kind -> Guest -> Verb -> Move ; -- Which pizza do you eat? - WhichVerbWant : Kind -> Guest -> Verb -> Move ; - -- Which pizza do you want to eat? - WhichIs : Kind -> Quality -> Move ; -- Which wine is Italian? - - Do : Verb -> Item -> Move ; -- Pay this wine! - DoPlease : Verb -> Item -> Move ; -- Pay this wine please! - - I, You, We : Guest ; - - GThis, GThat, GThese, GThose : GuestKind -> Guest ; - - Eat, Drink, Pay : Verb ; - - Lady, Gentleman : GuestKind ; - -} diff --git a/examples/tutorial/resource-foods/ExtFoodsEng.gf b/examples/tutorial/resource-foods/ExtFoodsEng.gf deleted file mode 100644 index 70ba26b74..000000000 --- a/examples/tutorial/resource-foods/ExtFoodsEng.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:../foods:present:prelude - -concrete ExtFoodsEng of ExtFoods = FoodsEni ** ExtFoodsI with - (Syntax = SyntaxEng), - (LexFoods = LexFoodsEng) ; diff --git a/examples/tutorial/resource-foods/ExtFoodsFin.gf b/examples/tutorial/resource-foods/ExtFoodsFin.gf deleted file mode 100644 index 9cf90dfa0..000000000 --- a/examples/tutorial/resource-foods/ExtFoodsFin.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:../foods:present:prelude - -concrete ExtFoodsFin of ExtFoods = FoodsFin ** ExtFoodsI with - (Syntax = SyntaxFin), - (LexFoods = LexFoodsFin) ; diff --git a/examples/tutorial/resource-foods/ExtFoodsGer.gf b/examples/tutorial/resource-foods/ExtFoodsGer.gf deleted file mode 100644 index 62285e3ae..000000000 --- a/examples/tutorial/resource-foods/ExtFoodsGer.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:../foods:present:prelude - -concrete ExtFoodsGer of ExtFoods = FoodsGer ** ExtFoodsI with - (Syntax = SyntaxGer), - (LexFoods = LexFoodsGer) ; diff --git a/examples/tutorial/resource-foods/ExtFoodsI.gf b/examples/tutorial/resource-foods/ExtFoodsI.gf deleted file mode 100644 index b59cfc5b5..000000000 --- a/examples/tutorial/resource-foods/ExtFoodsI.gf +++ /dev/null @@ -1,49 +0,0 @@ -incomplete concrete ExtFoodsI of ExtFoods = FoodsI ** open Syntax, LexFoods in { - - flags lexer=text ; unlexer=text ; - - lincat - Move = Text ; - Verb = V2 ; - Guest = NP ; - GuestKind = CN ; - lin - MAssert p = mkText (mkS p) ; - MDeny p = mkText (mkS negativePol p) ; - MAsk p = mkText (mkQS p) ; - - PVerb = mkCl ; - PVerbWant guest verb item = mkCl guest want_VV (mkVP verb item) ; - - WhichVerb kind guest verb = - mkText (mkQS (mkQCl (mkIP whichSg_IDet kind) guest verb)) ; - WhichVerbWant kind guest verb = - mkText (mkQS (mkQCl (mkIP whichSg_IDet kind) - (mkClSlash guest want_VV verb))) ; - WhichIs kind quality = - mkText (mkQS (mkQCl (mkIP whichSg_IDet kind) (mkVP quality))) ; - - Do verb item = - mkText - (mkPhr (mkUtt politeImpForm (mkImp verb item))) exclMarkPunct ; - DoPlease verb item = - mkText - (mkPhr (mkUtt politeImpForm (mkImp verb item)) please_Voc) - exclMarkPunct ; - - I = mkNP i_Pron ; - You = mkNP youPol_Pron ; - We = mkNP we_Pron ; - - GThis = mkNP this_Det ; - GThat = mkNP that_Det ; - GThese = mkNP these_Det ; - GThose = mkNP those_Det ; - - Eat = eat_V2 ; - Drink = drink_V2 ; - Pay = pay_V2 ; - Lady = mkCN lady_N ; - Gentleman = mkCN gentleman_N ; - -} diff --git a/examples/tutorial/resource-foods/Foods.gf b/examples/tutorial/resource-foods/Foods.gf deleted file mode 100644 index bbb2770dd..000000000 --- a/examples/tutorial/resource-foods/Foods.gf +++ /dev/null @@ -1,16 +0,0 @@ -abstract Foods = { - - flags startcat=Phrase ; - - cat - Phrase ; Item ; Kind ; Quality ; - - fun - Is,Isnt : Item -> Quality -> Phrase ; - This, That, These, Those : Kind -> Item ; - QKind : Quality -> Kind -> Kind ; - Wine, Cheese, Fish, Pizza : Kind ; - Very : Quality -> Quality ; - Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ; - -} diff --git a/examples/tutorial/resource-foods/FoodsEng.gf b/examples/tutorial/resource-foods/FoodsEng.gf deleted file mode 100644 index 5d32f2f15..000000000 --- a/examples/tutorial/resource-foods/FoodsEng.gf +++ /dev/null @@ -1,27 +0,0 @@ ---# -path=.:../foods:minimal:present - -concrete FoodsEng of Foods = open SyntaxEng,ParadigmsEng in { - lincat - Phrase = Cl ; - Item = NP ; - Kind = CN ; - Quality = AP ; - lin - Is item quality = mkCl item quality ; - This kind = mkNP this_Det kind ; - That kind = mkNP that_Det kind ; - These kind = mkNP these_Det kind ; - Those kind = mkNP those_Det kind ; - QKind quality kind = mkCN quality kind ; - Wine = mkCN (mkN "wine") ; - Pizza = mkCN (mkN "pizza") ; - Cheese = mkCN (mkN "cheese") ; - Fish = mkCN (mkN "fish" "fish") ; - Very quality = mkAP very_AdA quality ; - Fresh = mkAP (mkA "fresh") ; - Warm = mkAP (mkA "warm") ; - Italian = mkAP (mkA "Italian") ; - Expensive = mkAP (mkA "expensive") ; - Delicious = mkAP (mkA "delicious") ; - Boring = mkAP (mkA "boring") ; -} diff --git a/examples/tutorial/resource-foods/FoodsEni.gf b/examples/tutorial/resource-foods/FoodsEni.gf deleted file mode 100644 index cf1156ea6..000000000 --- a/examples/tutorial/resource-foods/FoodsEni.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:../foods:present:prelude - -concrete FoodsEni of Foods = FoodsI with - (Syntax = SyntaxEng), - (LexFoods = LexFoodsEng) ; diff --git a/examples/tutorial/resource-foods/FoodsFin.gf b/examples/tutorial/resource-foods/FoodsFin.gf deleted file mode 100644 index 2c76ee4a0..000000000 --- a/examples/tutorial/resource-foods/FoodsFin.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:../foods:present:prelude - -concrete FoodsFin of Foods = FoodsI with - (Syntax = SyntaxFin), - (LexFoods = LexFoodsFin) ; diff --git a/examples/tutorial/resource-foods/FoodsFre.gf b/examples/tutorial/resource-foods/FoodsFre.gf deleted file mode 100644 index f10a60e63..000000000 --- a/examples/tutorial/resource-foods/FoodsFre.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:../foods:present:prelude - -concrete FoodsFre of Foods = FoodsI with - (Syntax = SyntaxFre), - (LexFoods = LexFoodsFre) ; diff --git a/examples/tutorial/resource-foods/FoodsGer.gf b/examples/tutorial/resource-foods/FoodsGer.gf deleted file mode 100644 index f3d79eff0..000000000 --- a/examples/tutorial/resource-foods/FoodsGer.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:present - -concrete FoodsGer of Foods = FoodsI with - (Syntax = SyntaxGer), - (LexFoods = LexFoodsGer) ; diff --git a/examples/tutorial/resource-foods/FoodsI.gf b/examples/tutorial/resource-foods/FoodsI.gf deleted file mode 100644 index c95a17b96..000000000 --- a/examples/tutorial/resource-foods/FoodsI.gf +++ /dev/null @@ -1,29 +0,0 @@ ---# -path=.:present - -incomplete concrete FoodsI of Foods = open Syntax, LexFoods in { - lincat - Phrase = Utt ; - Item = NP ; - Kind = CN ; - Quality = AP ; - lin - Is item quality = mkUtt (mkCl item quality) ; - Isnt item quality = mkUtt (mkS negativePol (mkCl item quality)) ; - This kind = mkNP this_Det kind ; - That kind = mkNP that_Det kind ; - These kind = mkNP these_Det kind ; - Those kind = mkNP those_Det kind ; - QKind quality kind = mkCN quality kind ; - Very quality = mkAP very_AdA quality ; - - Wine = mkCN wine_N ; - Pizza = mkCN pizza_N ; - Cheese = mkCN cheese_N ; - Fish = mkCN fish_N ; - Fresh = mkAP fresh_A ; - Warm = mkAP warm_A ; - Italian = mkAP italian_A ; - Expensive = mkAP expensive_A ; - Delicious = mkAP delicious_A ; - Boring = mkAP boring_A ; -} diff --git a/examples/tutorial/resource-foods/FoodsIta.gf b/examples/tutorial/resource-foods/FoodsIta.gf deleted file mode 100644 index 9189a1761..000000000 --- a/examples/tutorial/resource-foods/FoodsIta.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:../foods:minimal:present:prelude - -concrete FoodsIta of Foods = FoodsI with - (Syntax = SyntaxIta), - (LexFoods = LexFoodsIta) ; diff --git a/examples/tutorial/resource-foods/FoodsSwe.gf b/examples/tutorial/resource-foods/FoodsSwe.gf deleted file mode 100644 index 920ea4add..000000000 --- a/examples/tutorial/resource-foods/FoodsSwe.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:present - -concrete FoodsSwe of Foods = FoodsI with - (Syntax = SyntaxSwe), - (LexFoods = LexFoodsSwe) ; diff --git a/examples/tutorial/resource-foods/LexFoods.gf b/examples/tutorial/resource-foods/LexFoods.gf deleted file mode 100644 index 875427b77..000000000 --- a/examples/tutorial/resource-foods/LexFoods.gf +++ /dev/null @@ -1,19 +0,0 @@ -interface LexFoods = open Syntax in { - oper - wine_N : N ; - pizza_N : N ; - cheese_N : N ; - fish_N : N ; - fresh_A : A ; - warm_A : A ; - italian_A : A ; - expensive_A : A ; - delicious_A : A ; - boring_A : A ; - - eat_V2 : V2 ; - drink_V2 : V2 ; - pay_V2 : V2 ; - lady_N : N ; - gentleman_N : N ; -} diff --git a/examples/tutorial/resource-foods/LexFoodsEng.gf b/examples/tutorial/resource-foods/LexFoodsEng.gf deleted file mode 100644 index 01024b356..000000000 --- a/examples/tutorial/resource-foods/LexFoodsEng.gf +++ /dev/null @@ -1,20 +0,0 @@ -instance LexFoodsEng of LexFoods = open SyntaxEng, ParadigmsEng, IrregEng in { - oper - wine_N = mkN "wine" ; - pizza_N = mkN "pizza" ; - cheese_N = mkN "cheese" ; - fish_N = mkN "fish" "fish" ; - fresh_A = mkA "fresh" ; - warm_A = mkA "warm" ; - italian_A = mkA "Italian" ; - expensive_A = mkA "expensive" ; - delicious_A = mkA "delicious" ; - boring_A = mkA "boring" ; - - eat_V2 = mkV2 eat_V ; - drink_V2 = mkV2 drink_V ; - pay_V2 = mkV2 pay_V ; - lady_N = mkN "lady" ; - gentleman_N = mkN "gentleman" "gentlemen" ; - -} diff --git a/examples/tutorial/resource-foods/LexFoodsFin.gf b/examples/tutorial/resource-foods/LexFoodsFin.gf deleted file mode 100644 index 513c541b4..000000000 --- a/examples/tutorial/resource-foods/LexFoodsFin.gf +++ /dev/null @@ -1,20 +0,0 @@ -instance LexFoodsFin of LexFoods = open SyntaxFin, ParadigmsFin in { - oper - wine_N = mkN "viini" ; - pizza_N = mkN "pizza" ; - cheese_N = mkN "juusto" ; - fish_N = mkN "kala" ; - fresh_A = mkA "tuore" ; - warm_A = mkA "lämmin" ; - italian_A = mkA "italialainen" ; - expensive_A = mkA "kallis" ; - delicious_A = mkA "herkullinen" ; - boring_A = mkA "tylsä" ; - - eat_V2 = mkV2 (mkV "syödä") partitive ; - drink_V2 = mkV2 (mkV "juoda") partitive ; - pay_V2 = mkV2 (mkV "maksaa") ; - lady_N = mkN "rouva" ; - gentleman_N = mkN "herra" ; - -} diff --git a/examples/tutorial/resource-foods/LexFoodsFre.gf b/examples/tutorial/resource-foods/LexFoodsFre.gf deleted file mode 100644 index e269b1c3c..000000000 --- a/examples/tutorial/resource-foods/LexFoodsFre.gf +++ /dev/null @@ -1,20 +0,0 @@ ---# -path=.:../foods:present:prelude - -instance LexFoodsFre of LexFoods = open SyntaxFre,ParadigmsFre,IrregFre in { - oper - wine_N = mkN "vin" ; - pizza_N = mkN "pizza" feminine ; - cheese_N = mkN "fromage" masculine ; - fish_N = mkN "poisson" ; - fresh_A = mkA "frais" "fraîche" "frais" "fraîches"; - warm_A = mkA "chaud" ; - italian_A = mkA "italien" ; - expensive_A = mkA "cher" ; - delicious_A = mkA "délicieux" ; - boring_A = mkA "ennuyeux" ; - drink_V2 = boire_V2 ; - eat_V2 = mkV2 (mkV "manger") ; - pay_V2 = mkV2 (mkV "payer") ; - gentleman_N = mkN "monsieur" "messieurs" masculine ; - lady_N = mkN "madame" "mesdames" feminine ; -} diff --git a/examples/tutorial/resource-foods/LexFoodsGer.gf b/examples/tutorial/resource-foods/LexFoodsGer.gf deleted file mode 100644 index 15c5d94ca..000000000 --- a/examples/tutorial/resource-foods/LexFoodsGer.gf +++ /dev/null @@ -1,20 +0,0 @@ -instance LexFoodsGer of LexFoods = open SyntaxGer, ParadigmsGer, IrregGer in { - oper - wine_N = mkN "Wein" ; - pizza_N = mkN "Pizza" "Pizzen" feminine ; - cheese_N = mkN "Käse" "Käsen" masculine ; - fish_N = mkN "Fisch" ; - fresh_A = mkA "frisch" ; - warm_A = mkA "warm" "wärmer" "wärmste" ; - italian_A = mkA "italienisch" ; - expensive_A = mkA "teuer" ; - delicious_A = mkA "köstlich" ; - boring_A = mkA "langweilig" ; - - eat_V2 = mkV2 essen_V ; - drink_V2 = mkV2 trinken_V ; - pay_V2 = mkV2 (mkV "bezahlen") ; - lady_N = mkN "Frau" "Frauen" feminine ; - gentleman_N = mkN "Herr" "Herren" masculine ; - -} diff --git a/examples/tutorial/resource-foods/LexFoodsIta.gf b/examples/tutorial/resource-foods/LexFoodsIta.gf deleted file mode 100644 index 2148953c3..000000000 --- a/examples/tutorial/resource-foods/LexFoodsIta.gf +++ /dev/null @@ -1,20 +0,0 @@ ---# -path=.:../foods:present:prelude - -instance LexFoodsIta of LexFoods = open SyntaxIta, ParadigmsIta, BeschIta in { - oper - wine_N = mkN "vino" ; - pizza_N = mkN "pizza" ; - cheese_N = mkN "formaggio" ; - fish_N = mkN "pesce" ; - fresh_A = mkA "fresco" ; - warm_A = mkA "caldo" ; - italian_A = mkA "italiano" ; - expensive_A = mkA "caro" ; - delicious_A = mkA "delizioso" ; - boring_A = mkA "noioso" ; - drink_V2 = mkV2 (verboV (bere_27 "bere")) ; - eat_V2 = mkV2 (mkV "mangiare") ; - pay_V2 = mkV2 (mkV "pagare") ; - gentleman_N = mkN "signore" ; - lady_N = mkN "signora" ; -} diff --git a/examples/tutorial/resource-foods/LexFoodsSwe.gf b/examples/tutorial/resource-foods/LexFoodsSwe.gf deleted file mode 100644 index 12a2aaeee..000000000 --- a/examples/tutorial/resource-foods/LexFoodsSwe.gf +++ /dev/null @@ -1,20 +0,0 @@ -instance LexFoodsSwe of LexFoods = open SyntaxSwe, ParadigmsSwe, IrregSwe in { - oper - wine_N = mkN "vin" "vinet" "viner" "vinerna" ; - pizza_N = mkN "pizza" ; - cheese_N = mkN "ost" ; - fish_N = mkN "fisk" ; - fresh_A = mkA "färsk" ; - warm_A = mkA "varm" ; - italian_A = mkA "italiensk" ; - expensive_A = mkA "dyr" ; - delicious_A = mkA "läcker" "läckert" "läckra" "läckrare" "läckrast" ; - boring_A = mkA "tråkig" ; - - eat_V2 = mkV2 (mkV "äta" "åt" "ätit") ; - drink_V2 = mkV2 (mkV "dricka" "drack" "druckit") ; - pay_V2 = mkV2 "betala" ; - lady_N = mkN "dam" "damer" ; - gentleman_N = mkN "herr" ; - -} |