From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:54:35 +0000 Subject: changed names of resource-1.3; added a note on homepage on release --- examples-3.0/tutorial/resource-foods/ExtFoods.gf | 35 ------------------------ 1 file changed, 35 deletions(-) delete mode 100644 examples-3.0/tutorial/resource-foods/ExtFoods.gf (limited to 'examples-3.0/tutorial/resource-foods/ExtFoods.gf') diff --git a/examples-3.0/tutorial/resource-foods/ExtFoods.gf b/examples-3.0/tutorial/resource-foods/ExtFoods.gf deleted file mode 100644 index 22b65a3c0..000000000 --- a/examples-3.0/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 ; - -} -- cgit v1.2.3