diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-08 15:14:47 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-08 15:14:47 +0000 |
| commit | 2fc97fa6fa30ac5dc031a588d26399fd38f42d9b (patch) | |
| tree | e3e550d6df056c6b39fb540e2991a01b8d83e56c /examples/godis-tram/Tram | |
| parent | c94d5a5f1e4a7e254d0ede33328e958250071c0c (diff) | |
took away godis_tram from darcs
Diffstat (limited to 'examples/godis-tram/Tram')
27 files changed, 0 insertions, 1098 deletions
diff --git a/examples/godis-tram/Tram/Lines.gf b/examples/godis-tram/Tram/Lines.gf deleted file mode 100644 index a0d0a6fdc..000000000 --- a/examples/godis-tram/Tram/Lines.gf +++ /dev/null @@ -1,22 +0,0 @@ -abstract Lines = { -cat Line; -fun -Tram1 : Line ; -Tram2 : Line ; -Tram3 : Line ; -Tram4 : Line ; -Tram5 : Line ; -Tram6 : Line ; -Tram7 : Line ; -Tram8 : Line ; -Tram9 : Line ; - -Bus34 : Line ; -Bus40 : Line ; -Bus51 : Line ; -Bus60 : Line ; -Bus62 : Line ; - -Alvsnabben : Line ; - -}
\ No newline at end of file diff --git a/examples/godis-tram/Tram/LinesEng.gf b/examples/godis-tram/Tram/LinesEng.gf deleted file mode 100644 index fe25c69e2..000000000 --- a/examples/godis-tram/Tram/LinesEng.gf +++ /dev/null @@ -1,26 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common:resource-1.0/english - -concrete LinesEng of Lines = open Prelude, CatEng, GodisLangEng in { - -lincat Line = NP; - -lin -Tram1 = sing_NP ["tram number 1"]; -Tram2 = sing_NP ["tram number 2"]; -Tram3 = sing_NP ["tram number 3"]; -Tram4 = sing_NP ["tram number 4"]; -Tram5 = sing_NP ["tram number 5"]; -Tram6 = sing_NP ["tram number 6"]; -Tram7 = sing_NP ["tram number 7"]; -Tram8 = sing_NP ["tram number 8"]; -Tram9 = sing_NP ["tram number 9"]; - -Bus34 = sing_NP ["bus number 34"]; -Bus40 = sing_NP ["bus number 40"]; -Bus51 = sing_NP ["bus number 51"]; -Bus60 = sing_NP ["bus number 60"]; -Bus62 = sing_NP ["bus number 62"]; - -Alvsnabben = sing_NP ["the alvsnabben ferry"]; - -} diff --git a/examples/godis-tram/Tram/LinesFin.gf b/examples/godis-tram/Tram/LinesFin.gf deleted file mode 100644 index 27268f5af..000000000 --- a/examples/godis-tram/Tram/LinesFin.gf +++ /dev/null @@ -1,42 +0,0 @@ ---# -path=.:../Common:alltenses:mathematical - -concrete LinesFin of Lines = open Prelude, CatFin, GodisLangFin, ParadigmsFin, SymbolFin in { - -lincat Line = NP; - -lin -Tram1 = ratikka "1" ; -Tram2 = ratikka "2"; -Tram3 = ratikka "3"; -Tram4 = ratikka "4"; -Tram5 = ratikka "5"; -Tram6 = ratikka "6"; -Tram7 = ratikka "7"; -Tram8 = ratikka "8"; -Tram9 = ratikka "9"; - -Bus34 = bussi "34"; -Bus40 = bussi "40"; -Bus51 = bussi "51"; -Bus60 = bussi "60"; -Bus62 = bussi "62"; - -Alvsnabben = mkNP (regN "älvsnabben-lautta") singular ; - -oper - -ratikka : Str -> NP = \s -> CNIntNP (regN "ratikka") (int s) ; -bussi : Str -> NP = \s -> CNIntNP (regN "bussi") (int s) ; - ----- this shouldn't be needed -int : Str -> { - s : Str ; - last : % Predef.Ints 9 ; - size : % Predef.Ints 1 - } = \s -> { - s = s ; - last = 0 ; - size = 1 - } ; - -} diff --git a/examples/godis-tram/Tram/LinesSem.gf b/examples/godis-tram/Tram/LinesSem.gf deleted file mode 100644 index 8d00343d4..000000000 --- a/examples/godis-tram/Tram/LinesSem.gf +++ /dev/null @@ -1,25 +0,0 @@ ---# -path=.:../Common - -concrete LinesSem of Lines = open Prolog in { - -lincat Line = PStr; - -lin -Tram1 = pp0 ["tram_1"]; -Tram2 = pp0 ["tram_2"]; -Tram3 = pp0 ["tram_3"]; -Tram4 = pp0 ["tram_4"]; -Tram5 = pp0 ["tram_5"]; -Tram6 = pp0 ["tram_6"]; -Tram7 = pp0 ["tram_7"]; -Tram8 = pp0 ["tram_8"]; -Tram9 = pp0 ["tram_9"]; - -Bus34 = pp0 ["bus_34"]; -Bus40 = pp0 ["bus_40"]; -Bus51 = pp0 ["bus_51"]; -Bus60 = pp0 ["bus_60"]; -Bus62 = pp0 ["bus_62"]; - -Alvsnabben = pp0 ["alvsnabben"]; -} diff --git a/examples/godis-tram/Tram/LinesSwe.gf b/examples/godis-tram/Tram/LinesSwe.gf deleted file mode 100644 index d7b94f994..000000000 --- a/examples/godis-tram/Tram/LinesSwe.gf +++ /dev/null @@ -1,26 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common:resource-1.0/scandinavian:resource-1.0/swedish - -concrete LinesSwe of Lines = open Prelude, CatSwe, GodisLangSwe in { - -lincat Line = NP; - -lin -Tram1 = sing_NP ["spårvagn nummer 1"]; -Tram2 = sing_NP ["spårvagn nummer 2"]; -Tram3 = sing_NP ["spårvagn nummer 3"]; -Tram4 = sing_NP ["spårvagn nummer 4"]; -Tram5 = sing_NP ["spårvagn nummer 5"]; -Tram6 = sing_NP ["spårvagn nummer 6"]; -Tram7 = sing_NP ["spårvagn nummer 7"]; -Tram8 = sing_NP ["spårvagn nummer 8"]; -Tram9 = sing_NP ["spårvagn nummer 9"]; - -Bus34 = sing_NP ["buss nummer 34"]; -Bus40 = sing_NP ["buss nummer 40"]; -Bus51 = sing_NP ["buss nummer 51"]; -Bus60 = sing_NP ["buss nummer 60"]; -Bus62 = sing_NP ["buss nummer 62"]; - -Alvsnabben = sing_NP ["Älvsnabben"]; -} - diff --git a/examples/godis-tram/Tram/Stops.gf b/examples/godis-tram/Tram/Stops.gf deleted file mode 100644 index 1e66c9e3f..000000000 --- a/examples/godis-tram/Tram/Stops.gf +++ /dev/null @@ -1,66 +0,0 @@ -abstract Stops = { - -cat Stop; - -fun -Angered : Stop ; -AxelDahlstromsTorg : Stop ; -Bergsjon : Stop ; -Biskopsgarden : Stop ; -Botaniska : Stop ; -Broplatsen : Stop ; -Brunnsbotorget : Stop ; -Brunnsparken : Stop ; -Centralstationen : Stop ; -Chalmers : Stop ; -Eriksberg : Stop ; -Frihamnen : Stop ; -FrolundaTorg : Stop ; -Gamlestadstorget : Stop ; -Gronsakstorget : Stop ; -Guldheden : Stop ; -Hagakyrkan : Stop ; -Harlanda : Stop ; -Hinnebacksgatan : Stop ; -HjBrantingsplatsen : Stop ; -Jarntorget : Stop ; -Kalleback : Stop ; -Karralundsgatan : Stop ; -Klareberg : Stop ; -Klippan : Stop ; -Korkarlensgata : Stop ; -Korsvagen : Stop ; -Kortedala : Stop ; -Kungssten : Stop ; -Lansmansgarden : Stop ; -LillaBommen : Stop ; -Lindholmen : Stop ; -Linneplatsen : Stop ; -LundbyStrand : Stop ; -Mariaplan : Stop ; -Marklandsgatan : Stop ; -Nordstan : Stop ; -Olivedalsgatan : Stop ; -Olskrokstorget : Stop ; -OstraSjukhuset : Stop ; -Pilbagsgatan : Stop ; -Redbergsplatsen : Stop ; -Rosenlund : Stop ; -Sahlgrenska : Stop ; -Saltholmen : Stop ; -SanktSigfridsplan : Stop ; -Sannaplan : Stop ; -Skogome : Stop ; -Sorgardsskolan : Stop ; -Stigbergstorget : Stop ; -Tagene : Stop ; -Torp : Stop ; -Tynnered : Stop ; -Ullevi : Stop ; -Valand : Stop ; -VasaViktoriagatan : Stop ; -Vasaplatsen : Stop ; -WavrinskysPlats : Stop ; - - -} diff --git a/examples/godis-tram/Tram/StopsEng.gf b/examples/godis-tram/Tram/StopsEng.gf deleted file mode 100644 index d7018ad57..000000000 --- a/examples/godis-tram/Tram/StopsEng.gf +++ /dev/null @@ -1,66 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common:resource-1.0/english - -concrete StopsEng of Stops = open Prelude, CatEng, GodisLangEng in { - -lincat Stop = NP; - -lin -Angered = sing_NP ["angered"]; -AxelDahlstromsTorg = sing_NP ["axel dahlstroms torg"]; -Bergsjon = sing_NP ["bergsjon"]; -Biskopsgarden = sing_NP ["biskopsgarden"]; -Botaniska = sing_NP ["botaniska"]; -Broplatsen = sing_NP ["broplatsen"]; -Brunnsbotorget = sing_NP ["brunnsbotorget"]; -Brunnsparken = sing_NP ["brunnsparken"]; -Centralstationen = sing_NP ["centralstationen"]; -Chalmers = sing_NP ["chalmers"]; -Eriksberg = sing_NP ["eriksberg"]; -Frihamnen = sing_NP ["frihamnen"]; -FrolundaTorg = sing_NP ["frolunda torg"]; -Gamlestadstorget = sing_NP ["gamlestadstorget"]; -Gronsakstorget = sing_NP ["gronsakstorget"]; -Guldheden = sing_NP ["guldheden"]; -Hagakyrkan = sing_NP ["hagakyrkan"]; -Harlanda = sing_NP ["harlanda"]; -Hinnebacksgatan = sing_NP ["hinnebacksgatan"]; -HjBrantingsplatsen = sing_NP ["hjalmar brantingsplatsen"]; -Jarntorget = sing_NP ["jarntorget"]; -Kalleback = sing_NP ["kalleback"]; -Karralundsgatan = sing_NP ["karralundsgatan"]; -Klareberg = sing_NP ["klareberg"]; -Klippan = sing_NP ["klippan"]; -Korkarlensgata = sing_NP ["korkarlens gata"]; -Korsvagen = sing_NP ["korsvagen"]; -Kortedala = sing_NP ["kortedala"]; -Kungssten = sing_NP ["kungssten"]; -Lansmansgarden = sing_NP ["lansmansgarden"]; -LillaBommen = sing_NP ["lilla bommen"]; -Lindholmen = sing_NP ["lindholmen"]; -Linneplatsen = sing_NP ["linneplatsen"]; -LundbyStrand = sing_NP ["lundby strand"]; -Mariaplan = sing_NP ["mariaplan"]; -Marklandsgatan = sing_NP ["marklandsgatan"]; -Nordstan = sing_NP ["nordstan"]; -Olivedalsgatan = sing_NP ["olivedalsgatan"]; -Olskrokstorget = sing_NP ["olskrokstorget"]; -OstraSjukhuset = sing_NP ["ostra sjukhuset"]; -Pilbagsgatan = sing_NP ["pilbagsgatan"]; -Redbergsplatsen = sing_NP ["redbergsplatsen"]; -Rosenlund = sing_NP ["rosenlund"]; -Sahlgrenska = sing_NP ["sahlgrenska"]; -Saltholmen = sing_NP ["saltholmen"]; -SanktSigfridsplan = sing_NP ["sankt sigfrids plan"]; -Sannaplan = sing_NP ["sannaplan"]; -Skogome = sing_NP ["skogome"]; -Sorgardsskolan = sing_NP ["sorgardsskolan"]; -Stigbergstorget = sing_NP ["stigbergstorget"]; -Tagene = sing_NP ["tagene"]; -Torp = sing_NP ["torp"]; -Tynnered = sing_NP ["tynnered"]; -Ullevi = sing_NP ["ullevi"]; -Valand = sing_NP ["valand"]; -VasaViktoriagatan = sing_NP ["vasa viktoriagatan"]; -Vasaplatsen = sing_NP ["vasaplatsen"]; -WavrinskysPlats = sing_NP ["wavrinskys plats"]; -} diff --git a/examples/godis-tram/Tram/StopsFin.gf b/examples/godis-tram/Tram/StopsFin.gf deleted file mode 100644 index 939e9f4f7..000000000 --- a/examples/godis-tram/Tram/StopsFin.gf +++ /dev/null @@ -1,71 +0,0 @@ ---# -path=.:../Common:alltenses - -concrete StopsFin of Stops = open Prelude, CatFin, GodisLangFin, ParadigmsFin in { - -lincat Stop = NP; - -lin -Angered = sing_NP ["angeredia"]; -AxelDahlstromsTorg = sing_NP ["axel_dahlstroms_torgia"]; -Bergsjon = sing_NP ["bergsjönia"]; -Biskopsgarden = sing_NP ["biskopsgardenia"]; -Botaniska = singNP (nTalo ["botaniska"]); -Broplatsen = sing_NP ["broplatsenia"]; -Brunnsbotorget = sing_NP ["brunnsbotorgetia"]; -Brunnsparken = sing_NP ["brunnsparkenia"]; -Centralstationen = sing_NP ["centralstationenia"]; -Chalmers = sing_NP ["chalmersia"]; -Eriksberg = sing_NP ["eriksbergia"]; -Frihamnen = sing_NP ["frihamnenia"]; -FrolundaTorg = sing_NP ["frölunda_torgia"]; -Gamlestadstorget = sing_NP ["gamlestadstorgetia"]; -Gronsakstorget = sing_NP ["grönsakstorgetia"]; -Guldheden = sing_NP ["guldhedenia"]; -Hagakyrkan = sing_NP ["hagakyrkania"]; -Harlanda = singNP (nTalo ["härlanda"]); -Hinnebacksgatan = sing_NP ["hinnebäcksgatania"]; -HjBrantingsplatsen = sing_NP ["hjalmar_brantingsplatsenia"]; -Jarntorget = sing_NP ["järntorgetia"]; -Kalleback = sing_NP ["kallebäckia"]; -Karralundsgatan = sing_NP ["kärralundsgatania"]; -Klareberg = sing_NP ["klarebergia"]; --- ä -Klippan = sing_NP ["klippania"]; -Korkarlensgata = singNP (nTalo ["körkarlens_gata"]); -Korsvagen = sing_NP ["korsvägenia"]; -Kortedala = sing_NP ["kortedalaia"]; -Kungssten = sing_NP ["kungsstenia"]; -Lansmansgarden = sing_NP ["länsmansgardenia"]; -LillaBommen = sing_NP ["lilla_bommenia"]; -Lindholmen = sing_NP ["lindholmenia"]; -Linneplatsen = sing_NP ["linnéplatsenia"]; -LundbyStrand = sing_NP ["lundby_strandia"]; -Mariaplan = sing_NP ["mariaplania"]; -Marklandsgatan = sing_NP ["marklandsgatania"]; -Nordstan = sing_NP ["nordstania"]; -Olivedalsgatan = sing_NP ["olivedalsgatania"]; -Olskrokstorget = sing_NP ["olskrokstorgetia"]; -OstraSjukhuset = sing_NP ["östra_sjukhusetia"]; -Pilbagsgatan = sing_NP ["pilbågsgatania"]; -Redbergsplatsen = sing_NP ["redbergsplatsenia"]; -Rosenlund = sing_NP ["rosenlundia"]; -Sahlgrenska = singNP (nTalo ["sahlgrenska"]); -Saltholmen = sing_NP ["saltholmenia"]; -SanktSigfridsplan = sing_NP ["sankt_sigfrids_plania"]; -Sannaplan = sing_NP ["sannaplania"]; -Skogome = singNP (nTalo ["skogome"]); -Sorgardsskolan = sing_NP ["sorgardsskolania"]; -Stigbergstorget = sing_NP ["stigbergstorgetia"]; -Tagene = singNP (nTalo ["tagene"]); -Torp = sing_NP ["torpia"]; -Tynnered = sing_NP ["tynneredia"]; -Ullevi = singNP (nTalo ["ullevi"]); -Valand = sing_NP ["valandia"]; -VasaViktoriagatan = sing_NP ["vasa_viktoriagatania"]; -Vasaplatsen = sing_NP ["vasaplatsenia"]; -WavrinskysPlats = sing_NP ["wavrinskys_platsia"]; - -oper - -singNP : N -> NP = \n -> mkNP n singular ; - -} diff --git a/examples/godis-tram/Tram/StopsSem.gf b/examples/godis-tram/Tram/StopsSem.gf deleted file mode 100644 index 5ecd084dd..000000000 --- a/examples/godis-tram/Tram/StopsSem.gf +++ /dev/null @@ -1,66 +0,0 @@ ---# -path=.:../Common - -concrete StopsSem of Stops = open Prolog in { - -lincat Stop = PStr; - -lin -Angered = pp0 ["Angered"]; -AxelDahlstromsTorg = pp0 ["AxelDahlstromsTorg"]; -Bergsjon = pp0 ["Bergsjon"]; -Biskopsgarden = pp0 ["Biskopsgarden"]; -Botaniska = pp0 ["Botaniska"]; -Broplatsen = pp0 ["Broplatsen"]; -Brunnsbotorget = pp0 ["Brunnsbotorget"]; -Brunnsparken = pp0 ["Brunnsparken"]; -Centralstationen = pp0 ["Centralstationen"]; -Chalmers = pp0 ["Chalmers"]; -Eriksberg = pp0 ["Criksberg"]; -Frihamnen = pp0 ["Frihamnen"]; -FrolundaTorg = pp0 ["FrolundaTorg"]; -Gamlestadstorget = pp0 ["Gamlestadstorget"]; -Gronsakstorget = pp0 ["Gronsakstorget"]; -Guldheden = pp0 ["Guldheden"]; -Hagakyrkan = pp0 ["Hagakyrkan"]; -Harlanda = pp0 ["Harlanda"]; -Hinnebacksgatan = pp0 ["Hinnebacksgatan"]; -HjBrantingsplatsen = pp0 ["HjBrantingsplatsen"]; -Jarntorget = pp0 ["Jarntorget"]; -Kalleback = pp0 ["Kalleback"]; -Karralundsgatan = pp0 ["Karralundsgatan"]; -Klareberg = pp0 ["Klareberg"]; -Klippan = pp0 ["Klippan"]; -Korkarlensgata = pp0 ["Korkarlensgata"]; -Korsvagen = pp0 ["Korsvagen"]; -Kortedala = pp0 ["Kortedala"]; -Kungssten = pp0 ["Kungssten"]; -Lansmansgarden = pp0 ["Lansmansgarden"]; -LillaBommen = pp0 ["LillaBommen"]; -Lindholmen = pp0 ["Lindholmen"]; -Linneplatsen = pp0 ["Linneplatsen"]; -LundbyStrand = pp0 ["LundbyStrand"]; -Mariaplan = pp0 ["Mariaplan"]; -Marklandsgatan = pp0 ["Marklandsgatan"]; -Nordstan = pp0 ["Nordstan"]; -Olivedalsgatan = pp0 ["Olivedalsgatan"]; -Olskrokstorget = pp0 ["Olskrokstorget"]; -OstraSjukhuset = pp0 ["OstraSjukhuset"]; -Pilbagsgatan = pp0 ["Pilbagsgatan"]; -Redbergsplatsen = pp0 ["Redbergsplatsen"]; -Rosenlund = pp0 ["Rosenlund"]; -Sahlgrenska = pp0 ["Sahlgrenska"]; -Saltholmen = pp0 ["Saltholmen"]; -SanktSigfridsplan = pp0 ["SanktSigfridsPlan"]; -Sannaplan = pp0 ["Sannaplan"]; -Skogome = pp0 ["Skogome"]; -Sorgardsskolan = pp0 ["Sorgardsskolan"]; -Stigbergstorget = pp0 ["Stigbergstorget"]; -Tagene = pp0 ["Tagene"]; -Torp = pp0 ["Torp"]; -Tynnered = pp0 ["Tynnered"]; -Ullevi = pp0 ["Ullevi"]; -Valand = pp0 ["Valand"]; -VasaViktoriagatan = pp0 ["VasaViktoriagatan"]; -Vasaplatsen = pp0 ["Vasaplatsen"]; -WavrinskysPlats = pp0 ["WavrinskysPlats"]; -} diff --git a/examples/godis-tram/Tram/StopsSwe.gf b/examples/godis-tram/Tram/StopsSwe.gf deleted file mode 100644 index e20f98c01..000000000 --- a/examples/godis-tram/Tram/StopsSwe.gf +++ /dev/null @@ -1,68 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common:resource-1.0/scandinavian:resource-1.0/swedish - -concrete StopsSwe of Stops = open Prelude, CatSwe, GodisLangSwe in { - -lincat Stop = NP; - -lin - -Angered = sing_NP ["angered"]; -AxelDahlstromsTorg = sing_NP ["axel dahlströms torg"]; -Bergsjon = sing_NP ["bergsjön"]; -Biskopsgarden = sing_NP ["biskopsgården"]; -Botaniska = sing_NP ["botaniska"]; -Broplatsen = sing_NP ["broplatsen"]; -Brunnsbotorget = sing_NP ["brunnsbotorget"]; -Brunnsparken = sing_NP ["brunnsparken"]; -Centralstationen = sing_NP ["centralstationen"]; -Chalmers = sing_NP ["chalmers"]; -Eriksberg = sing_NP ["eriksberg"]; -Frihamnen = sing_NP ["frihamnen"]; -FrolundaTorg = sing_NP ["frölunda torg"]; -Gamlestadstorget = sing_NP ["gamlestadstorget"]; -Gronsakstorget = sing_NP ["grönsakstorget"]; -Guldheden = sing_NP ["guldheden"]; -Hagakyrkan = sing_NP ["hagakyrkan"]; -Harlanda = sing_NP ["härlanda"]; -Hinnebacksgatan = sing_NP ["hinnebäcksgatan"]; -HjBrantingsplatsen = sing_NP ["hjalmar brantingsplatsen"]; -Jarntorget = sing_NP ["järntorget"]; -Kalleback = sing_NP ["kallebäck"]; -Karralundsgatan = sing_NP ["kärralundsgatan"]; -Klareberg = sing_NP ["klareberg"]; -Klippan = sing_NP ["klippan"]; -Korkarlensgata = sing_NP ["körkarlens gata"]; -Korsvagen = sing_NP ["korsvägen"]; -Kortedala = sing_NP ["kortedala"]; -Kungssten = sing_NP ["kungssten"]; -Lansmansgarden = sing_NP ["länsmansgården"]; -LillaBommen = sing_NP ["lilla bommen"]; -Lindholmen = sing_NP ["lindholmen"]; -Linneplatsen = sing_NP ["linneplatsen"]; -LundbyStrand = sing_NP ["lundby strand"]; -Mariaplan = sing_NP ["mariaplan"]; -Marklandsgatan = sing_NP ["marklandsgatan"]; -Nordstan = sing_NP ["nordstan"]; -Olivedalsgatan = sing_NP ["olivedalsgatan"]; -Olskrokstorget = sing_NP ["olskrokstorget"]; -OstraSjukhuset = sing_NP ["östra sjukhuset"]; -Pilbagsgatan = sing_NP ["pilbågsgatan"]; -Redbergsplatsen = sing_NP ["redbergsplatsen"]; -Rosenlund = sing_NP ["rosenlund"]; -Sahlgrenska = sing_NP ["sahlgrenska"]; -Saltholmen = sing_NP ["saltholmen"]; -SanktSigfridsplan = sing_NP ["sankt sigfrids plan"]; -Sannaplan = sing_NP ["sannaplan"]; -Skogome = sing_NP ["skogome"]; -Sorgardsskolan = sing_NP ["sorgårdsskolan"]; -Stigbergstorget = sing_NP ["stigbergstorget"]; -Tagene = sing_NP ["tagene"]; -Torp = sing_NP ["torp"]; -Tynnered = sing_NP ["tynnered"]; -Ullevi = sing_NP ["ullevi"]; -Valand = sing_NP ["valand"]; -VasaViktoriagatan = sing_NP ["vasa viktoriagatan"]; -Vasaplatsen = sing_NP ["vasaplatsen"]; -WavrinskysPlats = sing_NP ["wavrinskys plats"]; -} - diff --git a/examples/godis-tram/Tram/TramLexicon.gf b/examples/godis-tram/Tram/TramLexicon.gf deleted file mode 100644 index b4e9f3a7f..000000000 --- a/examples/godis-tram/Tram/TramLexicon.gf +++ /dev/null @@ -1,41 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common - -abstract TramLexicon = Cat ** { - -fun - --- The functions should be in alphabetical order --- within each category - --- Adjectives -short_A : A; - --- Conjunctions -and_then_Conj : Conj; - --- Nouns -route_N, -stop_N, -way_N : N; - --- Prepositiona -from_Prep, -to_Prep : Prep; - --- Verbs-1 -help_V, -restart_V : V; - --- Verbs-2 -go_from_V2, -go_to_V2, -find_V2, -findout_V2, -take_V2 : V2; - -} - - - - - diff --git a/examples/godis-tram/Tram/TramLexiconEng.gf b/examples/godis-tram/Tram/TramLexiconEng.gf deleted file mode 100644 index 955baac30..000000000 --- a/examples/godis-tram/Tram/TramLexiconEng.gf +++ /dev/null @@ -1,34 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common:resource-1.0/english - -concrete TramLexiconEng of TramLexicon = CatEng ** - open Prelude, ParadigmsEng, ParamX, (Lex=LexiconEng), (Irr=IrregEng), GodisLangEng in { - -lin - --- Adjectives -short_A = Lex.short_A; - --- Conjunctions -and_then_Conj = {s = ["and then"]; n = Pl; lock_Conj = <>}; - --- Nouns -route_N = regN "route"; -stop_N = regN "stop"; -way_N = regN "way"; - --- Prepositions -from_Prep = ss "from"; -to_Prep = ss "to"; - --- Verb-1 -help_V = regV "help"; -restart_V = regV "restart"; - --- Verb-2 -go_from_V2 = dirV2 (partV (regV "go") "from"); --- ?? -go_to_V2 = dirV2 (partV (regV "go") "to"); --- ?? -find_V2 = Lex.find_V2; -findout_V2 = dirV2 (regV "findout"); --- ?? -take_V2 = dirV2 Irr.take_V; - -} diff --git a/examples/godis-tram/Tram/TramLexiconFin.gf b/examples/godis-tram/Tram/TramLexiconFin.gf deleted file mode 100644 index 556706fe8..000000000 --- a/examples/godis-tram/Tram/TramLexiconFin.gf +++ /dev/null @@ -1,34 +0,0 @@ ---# -path=.:../Common:alltenses - -concrete TramLexiconFin of TramLexicon = CatFin ** - open Prelude, ParadigmsFin, ParamX, (Lex=LexiconFin), GodisLangFin in { - -lin - --- Adjectives -short_A = Lex.short_A; - --- Conjunctions -and_then_Conj = {s = ["ja sitten"]; n = Pl; lock_Conj = <>}; - --- Nouns -route_N = regN "reitti"; -stop_N = regN "pysäkki"; -way_N = regN "tie"; - --- Prepositions -from_Prep = casePrep from_Case ; ---- -to_Prep = casePrep to_Case ; ---- - --- Verb-1 -help_V = regV "auttaa"; -restart_V = regV "uudelleenaloittaa"; ---- alusta - --- Verb-2 -go_from_V2 = caseV2 Lex.go_V from_Case ; -go_to_V2 = caseV2 Lex.go_V to_Case ; -find_V2 = Lex.find_V2; -findout_V2 = dirV2 (regV "selvittää"); -take_V2 = dirV2 (regV "ottaa") ; - -} diff --git a/examples/godis-tram/Tram/TramLexiconSwe.gf b/examples/godis-tram/Tram/TramLexiconSwe.gf deleted file mode 100644 index e0928e3b3..000000000 --- a/examples/godis-tram/Tram/TramLexiconSwe.gf +++ /dev/null @@ -1,40 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common:resource-1.0/scandinavian:resource-1.0/swedish - -concrete TramLexiconSwe of TramLexicon = CatSwe ** - open Prelude, ParadigmsSwe, ParamX, (Lex=LexiconSwe), (Irr=IrregSwe), GodisLangSwe in { - -lin - --- Adjectives -short_A = Lex.short_A; - --- Conjunctions -and_then_Conj = {s = ["och sedan"]; n = Pl; lock_Conj = <>}; - --- Nouns -route_N = regGenN "rutt" utrum; -stop_N = regGenN "hållplats" utrum; -way_N = regGenN "väg" utrum; - --- Prepositions -from_Prep = ss "från"; -to_Prep = ss "till"; - --- Verb-1 -help_V = regV "hjälpa"; -restart_V = partV (regV "starta") "om"; - --- Verb-2 -go_from_V2 = dirV2 (partV åka_V "från"); -go_to_V2 = dirV2 (partV åka_V "till"); -find_V2 = dirV2 (regV "hittar"); -findout_V2 = dirV2 (Irr.finna_V); -take_V2 = dirV2 (ta_V); - - -oper -åka_V : V = irregV "åka" "åkte" "åkt"; -ta_V : V = mkV "ta" "tar" "ta" "tog" "tagit" "tagen"; - - -} diff --git a/examples/godis-tram/Tram/TramSystem.gf b/examples/godis-tram/Tram/TramSystem.gf deleted file mode 100644 index a304e1203..000000000 --- a/examples/godis-tram/Tram/TramSystem.gf +++ /dev/null @@ -1,64 +0,0 @@ ---# -path=.:../Common:prelude - -abstract TramSystem = GodisSystem, Stops, Lines ** { - -cat -Route; -- route descripiption. -Leg; -[Leg]{2}; -- route segments on a line --- the following are derived from declaring [Leg]{2}: --- BaseLeg : Leg -> Leg -> [Leg]; --- ConsLeg : Leg -> [Leg] -> [Leg]; - - -fun - ------------------------------------------------------------------ --- Functions for creating routes - -lineLeg : Line -> Stop -> Stop -> Leg; - -oneLeg : Leg -> Route; -mkRoute : [Leg] -> Route; - -------------------------------------------------------------------- --- Predicates --- Questions and Propositions as they are intended to be used --- by either System or User - --- U: what is the shortest route? -shortest_route_Q : Question; - --- S: Take Tram Z from X to Y. Take... -shortest_route_P : Route -> Proposition; - --- S: Where do you want to go to? -dest_stop_Q : Question; - --- U: I want to go to Stop -dest_stop_P : Stop -> Proposition; - --- S: Where do you want to go from? -dept_stop_Q : Question; - --- U: I want to go from Stop -dept_stop_P : Stop -> Proposition; - - ------------------------------------------------------------------ --- Short answers - --- U: "klippan" -stop : Stop -> ShortAns; - - ------------------------------------------------------------------- --- Actions - --- S: GoTGoDiS is a tram information system -help: Action; - --- S: restarting -top: Action; - -} diff --git a/examples/godis-tram/Tram/TramSystemEng.gf b/examples/godis-tram/Tram/TramSystemEng.gf deleted file mode 100644 index a5a539d50..000000000 --- a/examples/godis-tram/Tram/TramSystemEng.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common:resource-1.0/english - -concrete TramSystemEng of TramSystem = GodisSystemEng, StopsEng, LinesEng ** TramSystemI with - (Grammar=GrammarEng), (GodisLang=GodisLangEng), (TramLexicon=TramLexiconEng); - diff --git a/examples/godis-tram/Tram/TramSystemFin.gf b/examples/godis-tram/Tram/TramSystemFin.gf deleted file mode 100644 index dfa228cd5..000000000 --- a/examples/godis-tram/Tram/TramSystemFin.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:../Common:prelude:alltenses:mathematical - -concrete TramSystemFin of TramSystem = GodisSystemFin, StopsFin, LinesFin ** TramSystemI with - (Grammar=GrammarFin), (GodisLang=GodisLangFin), (TramLexicon=TramLexiconFin); - diff --git a/examples/godis-tram/Tram/TramSystemI.gf b/examples/godis-tram/Tram/TramSystemI.gf deleted file mode 100644 index b94720836..000000000 --- a/examples/godis-tram/Tram/TramSystemI.gf +++ /dev/null @@ -1,49 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common - -incomplete concrete TramSystemI of TramSystem = - GodisSystemI ** open Grammar, GodisLang, TramLexicon in { - -lincat -Route = NP; -Leg = NP; -[Leg] = [NP]; - - -lin - ------------------------------------------------------------------------------ --- Route - -lineLeg line from to = AdvNP (AdvNP line (PrepNP from_Prep from)) (PrepNP to_Prep to); - -oneLeg leg = leg; -mkRoute legs = ConjNP and_then_Conj legs; -BaseLeg = BaseNP; -ConsLeg = ConsNP; - -------------------------------------------------------------------------------- --- Predicates and Questions - -shortest_route_Q = isDoing ** what_is_NP (the_A_super_N_sg short_A route_N); -shortest_route_P x = isDoing ** GenericCl (ComplV2 take_V2 x); - -dest_stop_Q = isDoing ** which_N_do_you_want_to_V2 stop_N go_to_V2; -dest_stop_P x = isDoing ** you_want_to_VP (ComplV2 go_to_V2 x); - -dept_stop_Q = isDoing ** which_N_do_you_want_to_V2 stop_N go_from_V2; -dept_stop_P x = isDoing ** you_want_to_VP (ComplV2 go_from_V2 x); - - ---------------------------------------------------------------------------- --- Short Answers - -stop x = x; - ------------------------------------------------------------------------ --- Actions - -top = isDoing ** UseV restart_V; - -help = isDoing ** UseV help_V; - -} diff --git a/examples/godis-tram/Tram/TramSystemSem.gf b/examples/godis-tram/Tram/TramSystemSem.gf deleted file mode 100644 index 8d08eeb40..000000000 --- a/examples/godis-tram/Tram/TramSystemSem.gf +++ /dev/null @@ -1,45 +0,0 @@ ---# -path=.:../Common:prelude - -concrete TramSystemSem of TramSystem = GodisSystemSem, StopsSem, LinesSem ** open Prolog in { - -lincat -Route, -Leg, -[Leg] = PStr; - -lin - ------------------------------------------------------------ --- Route - -lineLeg line s1 s2 = pp3 "leg" line s1 s2; - -oneLeg leg = pList1 leg; -mkRoute legs = pBrackets legs; -BaseLeg leg leg' = pSeq leg leg'; -ConsLeg leg legs = pSeq leg legs; - ------------------------------------------------------------ --- Predicates and questions - -shortest_route_Q = pWhQ "shortest_path"; -shortest_route_P route = pp1 "shortest_path" route; - -dest_stop_Q = pWhQ "dest_stop"; -dest_stop_P = pp1 "dest_stop"; - -dept_stop_Q = pWhQ "dept_stop"; -dept_stop_P = pp1 "dept_stop"; - ------------------------------------------------------------- --- Short answers - -stop = pp1 "stop"; - -------------------------------------------------------------- --- Actions - -top = pp0 "top"; -help = pp0 "help"; - -} diff --git a/examples/godis-tram/Tram/TramSystemSwe.gf b/examples/godis-tram/Tram/TramSystemSwe.gf deleted file mode 100644 index 131595e11..000000000 --- a/examples/godis-tram/Tram/TramSystemSwe.gf +++ /dev/null @@ -1,4 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common:resource-1.0/scandinavian:resource-1.0/swedish - -concrete TramSystemSwe of TramSystem = GodisSystemSwe, StopsSwe, LinesSwe ** TramSystemI with - (Grammar=GrammarSwe), (GodisLang=GodisLangSwe), (TramLexicon=TramLexiconSwe); diff --git a/examples/godis-tram/Tram/TramUser.gf b/examples/godis-tram/Tram/TramUser.gf deleted file mode 100644 index 49de2219b..000000000 --- a/examples/godis-tram/Tram/TramUser.gf +++ /dev/null @@ -1,62 +0,0 @@ ---# -path=.:../Common:prelude - -abstract TramUser = GodisUser, Stops ** { - -fun - ------------------------------------------------------------------------- --- Predicates --- Questions used by the User - --- "find a route" -shortest_route : Question; - --- "I want to go from chalmers" -shortest_route__dept : Stop -> Question; - --- "I want to go to chalmers" -shortest_route__dest : Stop -> Question; - --- "I want to go from chalmers to valand" -shortest_route__dept_dest : Stop -> Stop -> Question; - - ------------------------------------------------------------------------- --- Answers - --- "from chalmers" -dept_stop : Stop -> Answer; - --- "to chalmers" -dest_stop : Stop -> Answer; - --- "from valand to chalmers" -dept_dest_stop : Stop -> Stop -> Answer; - ------------------------------------------------------------------------ --- Short answers - --- "chalmers" -stop : Stop -> ShortAns; - --- "valand to chalmers" -stop_dest_stop: Stop -> Stop -> ShortAns; - --- "valand from chalmers" -stop_dept_stop: Stop -> Stop -> ShortAns; - -------------------------------------------------------------------------- --- Actions - --- U: restart -top : Action; - --- U: help -help : Action; - --- print_info, --- download_info, --- read_info : Action; - - -} diff --git a/examples/godis-tram/Tram/TramUserEng.gf b/examples/godis-tram/Tram/TramUserEng.gf deleted file mode 100644 index 142aba4f6..000000000 --- a/examples/godis-tram/Tram/TramUserEng.gf +++ /dev/null @@ -1,59 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common:resource-1.0/english - -concrete TramUserEng of TramUser = GodisUserEng, StopsEng ** TramUserI - with (Grammar=GrammarEng), (GodisLang=GodisLangEng), - (TramSystemI=TramSystemEng), (TramLexicon=TramLexiconEng); - --- concrete TramUserEng of TramUser = GodisUserEng, StopsEng ** --- open Prelude, GodisLangEng, TramSystemEng, ResEng, TramLexiconEng in { - --- ---------------------------------------------------------------------- --- -- Predicates and questions - --- lin - --- shortest_route --- = variants{ askQS shortest_route_Q; --- ss (variants{["find"]; ["find out"]; ["get"]; ["ask for"]} ++ --- variants{["a route"]; ["shortest route"];["a way"];["a itinerary"]})}; - --- shortest_route__dept x --- = ss ( ["i want to go from"] ++ x.s!Nom); - - --- shortest_route__dest x --- = ss ( ["i want to go to"] ++ x.s!Nom); - - --- shortest_route__dept_dest x y --- = ss ( variants{["i want to go from"] ++ x.s!Nom ++ "to" ++ y.s!Nom; --- ["i want to go to"] ++ y.s!Nom ++ "from" ++ x.s!Nom} ); - - --- dest_stop x = ss( "to" ++ x.s!Nom); --- dept_stop x = ss( "from" ++ x.s!Nom); - --- dept_dest_stop x y = ss(variants{"to" ++ y.s!Nom ++ "from" ++ x.s!Nom; --- "from" ++ x.s!Nom ++ "to" ++ y.s!Nom} ); - --- stop_dest_stop x y = ss(x.s!Nom ++ "to" ++ y.s!Nom); --- stop_dept_stop x y = ss(x.s!Nom ++ "from" ++ y.s!Nom); - - --- ---------------------------------------------------------------------- --- -- short answers --- lin - --- stop x = ansNP x; - - --- ---------------------------------------------------------------------- --- -- Actions --- lin - --- top = reqVP top; - --- help = reqVP help; - --- } - diff --git a/examples/godis-tram/Tram/TramUserFin.gf b/examples/godis-tram/Tram/TramUserFin.gf deleted file mode 100644 index 66287a9bf..000000000 --- a/examples/godis-tram/Tram/TramUserFin.gf +++ /dev/null @@ -1,20 +0,0 @@ ---# -path=.:../Common:prelude:alltenses:mathematical - -concrete TramUserFin of TramUser = TramUserFin0-[stop_dest_stop, stop_dept_stop] ** - open GrammarFin, GodisLangFin, TramLexiconFin, ParadigmsFin in { - -lin - stop_dest_stop x y = - UttAdv (mkAdv ( - (PrepNP (casePrep from_Case) x).s ++ - (PrepNP (casePrep to_Case) y).s - ) - ) ; - stop_dept_stop x y = - UttAdv (mkAdv ( - (PrepNP (casePrep to_Case) x).s ++ - (PrepNP (casePrep from_Case) y).s - ) - ) ; -} - diff --git a/examples/godis-tram/Tram/TramUserFin0.gf b/examples/godis-tram/Tram/TramUserFin0.gf deleted file mode 100644 index 5861fa7a7..000000000 --- a/examples/godis-tram/Tram/TramUserFin0.gf +++ /dev/null @@ -1,6 +0,0 @@ ---# -path=.:../Common:prelude:alltenses:mathematical - -concrete TramUserFin0 of TramUser = GodisUserFin, StopsFin ** TramUserI - with (Grammar=GrammarFin), (GodisLang=GodisLangFin), - (TramSystemI=TramSystemFin), (TramLexicon=TramLexiconFin); - diff --git a/examples/godis-tram/Tram/TramUserI.gf b/examples/godis-tram/Tram/TramUserI.gf deleted file mode 100644 index 7570d1f59..000000000 --- a/examples/godis-tram/Tram/TramUserI.gf +++ /dev/null @@ -1,56 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common - -incomplete concrete TramUserI of TramUser = GodisUserI ** - open Prelude, Grammar, GodisLang, TramSystemI, TramLexicon in { - ----------------------------------------------------------------------- --- Predicates and questions - -lin - -shortest_route - = variants{ askQS shortest_route_Q; - reqVP (ComplV2 (variants{find_V2;findout_V2}) - (variants {indef_N_sg (variants{way_N;route_N}); - (the_A_super_N_sg short_A (variants{way_N;route_N}))})) }; - -shortest_route__dept x - = reqVP (ComplV2 go_from_V2 x); - -shortest_route__dest x - = reqVP (ComplV2 go_to_V2 x); - -shortest_route__dept_dest x y - = variants{ reqVP (AdvVP (ComplV2 go_from_V2 x) (Prep_NP to_Prep y)); - reqVP (AdvVP (ComplV2 go_to_V2 y) (Prep_NP from_Prep y)) }; - - -dest_stop x = UttAdv (Prep_NP to_Prep x); -dept_stop x = UttAdv (Prep_NP from_Prep x); - -dept_dest_stop x y - = variants{ UttAdv (Prep_NP to_Prep (NP_Prep_NP from_Prep x y)); - UttAdv (Prep_NP from_Prep (NP_Prep_NP to_Prep x y)) }; - - ----------------------------------------------------------------------- --- short answers -lin - -stop x = ansNP x; - -stop_dest_stop x y = ansNP (NP_Prep_NP to_Prep x y); -stop_dept_stop x y = ansNP (NP_Prep_NP from_Prep x y); - - - ----------------------------------------------------------------------- --- Actions -lin - -top = reqVP top; - -help = reqVP help; - -} - diff --git a/examples/godis-tram/Tram/TramUserSem.gf b/examples/godis-tram/Tram/TramUserSem.gf deleted file mode 100644 index c2ea38a3f..000000000 --- a/examples/godis-tram/Tram/TramUserSem.gf +++ /dev/null @@ -1,39 +0,0 @@ ---# -path=.:../Common:prelude - -concrete TramUserSem of TramUser = GodisUserSem, StopsSem ** - open Prolog, TramSystemSem in { - -lin - -------------------------------------------------------------- --- Predicates and questions - -shortest_route = pm1 (ask shortest_route_Q); - -shortest_route__dept x = pm2 (ask shortest_route_Q) (answer (dept_stop_P x)); -shortest_route__dest x = pm2 (ask shortest_route_Q) (answer (dest_stop_P x)); - -shortest_route__dept_dest x y = pm3 (ask shortest_route_Q) (answer (dept_stop_P x)) (answer (dest_stop_P y)); - -dest_stop x = pm1 (answer (dest_stop_P x)); -dept_stop x = pm1 (answer (dept_stop_P x)); - -dept_dest_stop x y = pm2 (answer (dept_stop_P x)) (answer (dest_stop_P y)); - - --------------------------------------------------- --- Short answers - -stop x = pm1 (shortAns (stop x)); - -stop_dest_stop x y = pm2 (shortAns(stop x)) (answer(dest_stop_P y)); -stop_dept_stop x y = pm2 (shortAns(stop x)) (answer(dept_stop_P y)); - - ------------------------------------------------------- --- Actions -top = pm1 (request top); -help = pm1 (request help); - -} - diff --git a/examples/godis-tram/Tram/TramUserSwe.gf b/examples/godis-tram/Tram/TramUserSwe.gf deleted file mode 100644 index 41372a43c..000000000 --- a/examples/godis-tram/Tram/TramUserSwe.gf +++ /dev/null @@ -1,57 +0,0 @@ ---# -path=.:../Common:prelude:resource-1.0/abstract:resource-1.0/common:resource-1.0/scandinavian:resource-1.0/swedish - -concrete TramUserSwe of TramUser = GodisUserSwe, StopsSwe ** TramUserI - with (Grammar=GrammarSwe), (GodisLang=GodisLangSwe), - (TramSystemI=TramSystemSwe), (TramLexicon=TramLexiconSwe); - --- concrete TramUserSwe of TramUser = GodisUserSwe, StopsSwe ** --- open Prelude, GrammarSwe, GodisLangSwe, TramLexiconSwe, TramSystemSwe, CommonScand in { - --- ------------------------------------------------------------------------ --- -- Predicates - --- lin - --- shortest_route --- = variants{ askQS shortest_route_Q; --- ss (variants{["hitta"]; ["ge mig"]; ["fråga efter"]} ++ --- variants{["en rutt"]; ["kortaste vägen"]; ["en resväg"]})}; - --- shortest_route__dept x --- = ss ( ["jag vill åka från"] ++ x.s!NPNom); - --- shortest_route__dest x --- = ss ( ["jag vill åka till"] ++ x.s!NPNom); - --- shortest_route__dept_dest x y --- = ss ( variants{["jag vill åka från"] ++ x.s!NPNom ++ "till" ++ y.s!NPNom ; --- ["jag vill åka till"] ++ y.s!NPNom ++ "från" ++ x.s!NPNom} ); - --- dest_stop x = ss( "till" ++ x.s!NPNom); --- dept_stop x = ss( "från" ++ x.s!NPNom); - --- dept_dest_stop x y = ss(variants{"till" ++ y.s!NPNom ++ "från" ++ x.s!NPNom; --- "från" ++ x.s!NPNom ++ "till" ++ y.s!NPNom} ); - --- stop_dest_stop x y = ss(x.s!NPNom ++ "till" ++ y.s!NPNom); --- stop_dept_stop x y = ss(x.s!NPNom ++ "från" ++ y.s!NPNom); - --- ---------------------------------------------------------------------- --- -- Short answers --- lin --- stop x = ansNP x; - - --- ---------------------------------------------------------------------- --- -- Actions - --- lin --- top = reqVP top; - --- help = variants{ reqVP help; --- ss ["hur gör jag nu"] }; - - - --- } - |
