diff options
| author | aarne <aarne@cs.chalmers.se> | 2009-04-02 09:35:48 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2009-04-02 09:35:48 +0000 |
| commit | 6bb85a8f41a994ac7adca0fcc4d4907e6cfad939 (patch) | |
| tree | 82eb815a42dc8b470e84fe80fa80fd669fcfc1af /examples/tutorial | |
| parent | a94143ee92565dadb1caaf1042f303878059c200 (diff) | |
fixes before beta3 release
Diffstat (limited to 'examples/tutorial')
| -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 |
3 files changed, 19 insertions, 2 deletions
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), |
