summaryrefslogtreecommitdiff
path: root/examples/tutorial/resource-foods/ExtFoods.gf
diff options
context:
space:
mode:
authorjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
committerjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
commitf5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch)
tree946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/tutorial/resource-foods/ExtFoods.gf
parent8e1c6cca407c82fc09569d80c231b8d256735989 (diff)
Remove contribs and examples
Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb
Diffstat (limited to 'examples/tutorial/resource-foods/ExtFoods.gf')
-rw-r--r--examples/tutorial/resource-foods/ExtFoods.gf35
1 files changed, 0 insertions, 35 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 ;
-
-}