diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/attempto/LexAttemptoEng.gf | 6 | ||||
| -rw-r--r-- | examples/bronzeage/BronzeageEng.gf | 2 | ||||
| -rw-r--r-- | examples/tutorial/resource-foods/Foods.gf | 16 | ||||
| -rw-r--r-- | examples/tutorial/resource-foods/FoodsI.gf | 3 | ||||
| -rw-r--r-- | examples/tutorial/resource-foods/FoodsSwe.gf | 2 |
5 files changed, 23 insertions, 6 deletions
diff --git a/examples/attempto/LexAttemptoEng.gf b/examples/attempto/LexAttemptoEng.gf index ad54d6de9..b2b9c3d4b 100644 --- a/examples/attempto/LexAttemptoEng.gf +++ b/examples/attempto/LexAttemptoEng.gf @@ -25,9 +25,9 @@ oper that_Subj = M.mkSubj "that" ; - comma_and_Conj = M.mkConj [] ", and" plural ; - comma_or_Conj = M.mkConj [] ", or" singular ; - slash_Conj = M.mkConj [] "/" singular ; + comma_and_Conj = mkConj [] ", and" plural ; + comma_or_Conj = mkConj [] ", or" singular ; + slash_Conj = mkConj [] "/" singular ; whose_IDet = M.mkIDet "whose" singular ; diff --git a/examples/bronzeage/BronzeageEng.gf b/examples/bronzeage/BronzeageEng.gf index 7cb878ea1..162a41705 100644 --- a/examples/bronzeage/BronzeageEng.gf +++ b/examples/bronzeage/BronzeageEng.gf @@ -1,4 +1,4 @@ ---# -path=.:minimal:present +--# -path=.:present concrete BronzeageEng of Bronzeage = SwadeshEng ** BronzeageI with (Syntax = SyntaxEng) ** open ResEng in { diff --git a/examples/tutorial/resource-foods/Foods.gf b/examples/tutorial/resource-foods/Foods.gf new file mode 100644 index 000000000..bbb2770dd --- /dev/null +++ b/examples/tutorial/resource-foods/Foods.gf @@ -0,0 +1,16 @@ +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/FoodsI.gf b/examples/tutorial/resource-foods/FoodsI.gf index 0f0c7a5c3..0847f9dfb 100644 --- a/examples/tutorial/resource-foods/FoodsI.gf +++ b/examples/tutorial/resource-foods/FoodsI.gf @@ -1,4 +1,4 @@ ---# -path=.:../foods:present:prelude +--# -path=.:present incomplete concrete FoodsI of Foods = open Syntax, LexFoods in { lincat @@ -8,6 +8,7 @@ incomplete concrete FoodsI of Foods = open Syntax, LexFoods in { Quality = AP ; lin Is item quality = mkUtt (mkCl item quality) ; + Isnt item quality = mkUtt (mkS negativePol (mkCl item quality)) ; This kind = mkNP this_Quant kind ; That kind = mkNP that_Quant kind ; These kind = mkNP this_Quant plNum kind ; diff --git a/examples/tutorial/resource-foods/FoodsSwe.gf b/examples/tutorial/resource-foods/FoodsSwe.gf index a77f924ad..920ea4add 100644 --- a/examples/tutorial/resource-foods/FoodsSwe.gf +++ b/examples/tutorial/resource-foods/FoodsSwe.gf @@ -1,4 +1,4 @@ ---# -path=.:../foods:present +--# -path=.:present concrete FoodsSwe of Foods = FoodsI with (Syntax = SyntaxSwe), |
