mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-12 22:39:31 -06:00
fixes before beta3 release
This commit is contained in:
16
examples/tutorial/resource-foods/Foods.gf
Normal file
16
examples/tutorial/resource-foods/Foods.gf
Normal file
@@ -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 ;
|
||||
|
||||
}
|
||||
@@ -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 ;
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:../foods:present
|
||||
--# -path=.:present
|
||||
|
||||
concrete FoodsSwe of Foods = FoodsI with
|
||||
(Syntax = SyntaxSwe),
|
||||
|
||||
Reference in New Issue
Block a user