summaryrefslogtreecommitdiff
path: root/examples/phrasebook/Words.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2010-04-28 20:37:51 +0000
committeraarne <aarne@chalmers.se>2010-04-28 20:37:51 +0000
commitf23a03125722896068c33c5478e426c019d3b80d (patch)
tree972570623d83f6ed2e876022e8afb65c82ae105f /examples/phrasebook/Words.gf
parent3148bc3d90abde36a3a4702829e18f640d521d5d (diff)
extended phrasebook for Swedish (almost complete)
Diffstat (limited to 'examples/phrasebook/Words.gf')
-rw-r--r--examples/phrasebook/Words.gf69
1 files changed, 33 insertions, 36 deletions
diff --git a/examples/phrasebook/Words.gf b/examples/phrasebook/Words.gf
index 086a19004..dfa35bc59 100644
--- a/examples/phrasebook/Words.gf
+++ b/examples/phrasebook/Words.gf
@@ -40,41 +40,43 @@ abstract Words = Sentences ** {
-- kinds of places
Airport : PlaceKind ;
+ AmusementPark : PlaceKind ;
+ Bank : PlaceKind ;
Bar : PlaceKind ;
+ Cafeteria : PlaceKind ;
+ Center : PlaceKind ;
Cinema : PlaceKind ;
Church : PlaceKind ;
+ Disco : PlaceKind ;
Hospital : PlaceKind ;
Hotel : PlaceKind ;
Museum : PlaceKind ;
Park : PlaceKind ;
+ Parking : PlaceKind ;
+ Pharmacy : PlaceKind ;
+ PostOffice : PlaceKind ;
+ Pub : PlaceKind ;
Restaurant : PlaceKind ;
School : PlaceKind ;
Shop : PlaceKind ;
Station : PlaceKind ;
+ Supermarket : PlaceKind ;
Theatre : PlaceKind ;
Toilet : PlaceKind ;
University : PlaceKind ;
+ Zoo : PlaceKind ;
-
CitRestaurant : Citizenship -> PlaceKind ;
- Parking : PlaceKind ;
- Supermarket : PlaceKind ;
- Pharmacy : PlaceKind ;
- Center : PlaceKind ;
- Cafeteria : PlaceKind ;
- Disco : PlaceKind ;
- Pub : PlaceKind ;
- AmusementPark : PlaceKind ;
-- currency units
DanishCrown : Currency ;
Dollar : Currency ;
- Euro : Currency ; -- Germany, France, Italy, Finland, Spain, Netherlands
+ Euro : Currency ; -- Germany, France, Italy, Finland, Spain, The Netherlands
Lei : Currency ; -- Romania
Leva : Currency ; -- Bulgaria
NorwegianCrown : Currency ;
- Ruble : Currency ; -- Russia
+ Rouble : Currency ; -- Russia
SwedishCrown : Currency ;
Zloty : Currency ; -- Poland
@@ -83,39 +85,34 @@ abstract Words = Sentences ** {
Belgian : Citizenship ;
Belgium : Country ;
+ Bulgarian : Nationality ;
+ Catalan : Nationality ;
+ Danish : Nationality ;
+ Dutch : Nationality ;
English : Nationality ;
Finnish : Nationality ;
Flemish : Language ;
French : Nationality ;
+ German : Nationality ;
Italian : Nationality ;
- Romanian : Nationality ;
- Swedish : Nationality ;
-
--- ** added
- Spanish : Nationality ;
Norwegian : Nationality ;
- Danish : Nationality ;
--- Dane : Citizenship ;
- Dutch : Nationality ;
Polish : Nationality ;
- Catalan : Language ; -- ???
- German : Nationality ;
+ Romanian : Nationality ;
Russian : Nationality ;
- Bulgarian : Nationality ;
-
-
+ Spanish : Nationality ;
+ Swedish : Nationality ;
-- means of transportation
- Train : Transport ;
+ Bike : Transport ;
Bus : Transport ;
- Plane : Transport ;
+ Car : Transport ;
Ferry : Transport ;
+ Plane : Transport ;
Subway : Transport ;
- Tram : Transport ;
Taxi : Transport ;
- Car : Transport ;
- Bike : Transport ;
+ Train : Transport ;
+ Tram : Transport ;
ByFoot : ByTransport ;
@@ -178,21 +175,21 @@ abstract Words = Sentences ** {
HowFar : Place -> Question ; -- how far is the zoo ?
HowFarFrom : Place -> Place -> Question ; -- how far is the center from the hotel ?
- HowFarFromBy : Place -> Place -> ByTransport -> Question ; -- how far is the airport from the hotel by taxi ?
- HowFarBy : Place -> Transport -> Question ; -- how far is the museum by bus ?
-
-
+ HowFarFromBy : Place -> Place -> ByTransport -> Question ;
+ -- how far is the airport from the hotel by taxi ?
+ HowFarBy : Place -> Transport -> Question ; -- how far is the museum by bus ?
WhichTranspPlace : Transport -> Place -> Question ; -- which bus goes to the hotel
IsTranspPlace : Transport -> Place -> Question ; -- is there a metro to the airport ?
- ByTransp : Transport -> ByTransport ; -- by bus
+
+-- modifiers of places
TheBest : Superlative ;
TheClosest : Superlative ;
TheCheapest : Superlative ;
+ TheMostExpensive : Superlative ;
+ TheMostPopular : Superlative ;
TheWorst : Superlative ;
- MostExpensive : Superlative ;
- MostPopular : Superlative ;
SuperlPlace : Superlative -> PlaceKind -> Place ; -- the best bar