summaryrefslogtreecommitdiff
path: root/examples/phrasebook/Words.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2010-04-07 14:59:55 +0000
committeraarne <aarne@chalmers.se>2010-04-07 14:59:55 +0000
commitaeb0a5b7e073bec56365185beed3311cf65c65aa (patch)
tree4571bed3ec0c6248372cefe1583fb269687d08b2 /examples/phrasebook/Words.gf
parent1f4f43748a681324b4335c43b4ca905bd025ef54 (diff)
a script for cloning (Phrasebook) grammars
Diffstat (limited to 'examples/phrasebook/Words.gf')
-rw-r--r--examples/phrasebook/Words.gf111
1 files changed, 85 insertions, 26 deletions
diff --git a/examples/phrasebook/Words.gf b/examples/phrasebook/Words.gf
index 0be56f24e..eac14794e 100644
--- a/examples/phrasebook/Words.gf
+++ b/examples/phrasebook/Words.gf
@@ -1,42 +1,97 @@
-- (c) 2009 Aarne Ranta under LGPL
abstract Words = Sentences ** {
+
fun
- Wine, Beer, Water, Coffee, Tea : Kind ;
- Cheese, Fish, Pizza : Kind ;
- Fresh, Warm,
- Expensive, Delicious, Boring, Good : Property ;
- Bar, Restaurant, Toilet,
- Museum, Airport, Station, Hospital, Church : PlaceKind ;
+-- kinds of items (so far mostly food stuff)
+
+ Apple : Kind ;
+ Beer : Kind ;
+ Bread : Kind ;
+ Cheese : Kind ;
+ Chicken : Kind ;
+ Coffee : Kind ;
+ Fish : Kind ;
+ Meat : Kind ;
+ Milk : Kind ;
+ Pizza : Kind ;
+ Salt : Kind ;
+ Tea : Kind ;
+ Water : Kind ;
+ Wine : Kind ;
+
+-- properties of kinds (so far mostly of food)
+
+ Bad : Property ;
+ Boring : Property ;
+ Cheap : Property ;
+ Cold : Property ;
+ Delicious : Property ;
+ Expensive : Property ;
+ Fresh : Property ;
+ Good : Property ;
+ Suspect : Property ;
+ Warm : Property ;
+
+-- kinds of places
+
+ Airport : PlaceKind ;
+ Bar : PlaceKind ;
+ Cinema : PlaceKind ;
+ Church : PlaceKind ;
+ Hospital : PlaceKind ;
+ Hotel : PlaceKind ;
+ Museum : PlaceKind ;
+ Park : PlaceKind ;
+ Restaurant : PlaceKind ;
+ School : PlaceKind ;
+ Shop : PlaceKind ;
+ Station : PlaceKind ;
+ Theatre : PlaceKind ;
+ Toilet : PlaceKind ;
+ University : PlaceKind ;
+
+-- currency units
+
+ DanishCrown : Currency ;
+ Dollar : Currency ;
+ Euro : Currency ;
+ Lei : Currency ;
+ SwedishCrown : Currency ;
- Euro, Dollar, Lei : Currency ;
+-- nationalities, countries, languages, citizenships
- English, Finnish, French, Italian, Romanian, Swedish : Nationality ;
Belgian : Citizenship ;
- Flemish : Language ;
Belgium : Country ;
+ English : Nationality ;
+ Finnish : Nationality ;
+ Flemish : Language ;
+ French : Nationality ;
+ Italian : Nationality ;
+ Romanian : Nationality ;
+ Swedish : Nationality ;
- Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday : Day ;
+-- actions (which can be expressed by different structures in different languages)
--- actions can be expressed by different structures in different languages
-
- AWant : Person -> Object -> Action ;
- ALike : Person -> Item -> Action ;
- ASpeak : Person -> Language -> Action ;
- ALove : Person -> Person -> Action ;
- AHungry : Person -> Action ;
- AThirsty : Person -> Action ;
- ATired : Person -> Action ;
- AIll : Person -> Action ;
- AScared : Person -> Action ;
+ AHasName : Person -> Name -> Action ;
+ AHungry : Person -> Action ;
+ AIll : Person -> Action ;
+ AKnow : Person -> Action ;
+ ALike : Person -> Item -> Action ;
+ ALive : Person -> Country -> Action ;
+ ALove : Person -> Person -> Action ;
+ AScared : Person -> Action ;
+ ASpeak : Person -> Language -> Action ;
+ AThirsty : Person -> Action ;
+ ATired : Person -> Action ;
AUnderstand : Person -> Action ;
- AKnow : Person -> Action ;
- AWantGo : Person -> Place -> Action ;
- AHasName : Person -> Name -> Action ;
- ALive : Person -> Country -> Action ;
+ AWant : Person -> Object -> Action ;
+ AWantGo : Person -> Place -> Action ;
+
+-- miscellaneous phrases
- QWhatName : Person -> Question ;
+ QWhatName : Person -> Question ;
PropOpen : Place -> Proposition ;
PropClosed : Place -> Proposition ;
@@ -48,4 +103,8 @@ abstract Words = Sentences ** {
HowMuchCost : Item -> Question ; -- how much does the pizza cost
ItCost : Item -> Price -> Proposition ; -- the pizza costs five euros
+-- week days
+
+ Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday : Day ;
+
}