forked from GitHub/gf-core
cloned the rest of resource languages in Phrasebook
This commit is contained in:
28
examples/phrasebook/GreetingsDan.gf
Normal file
28
examples/phrasebook/GreetingsDan.gf
Normal file
@@ -0,0 +1,28 @@
|
||||
concrete GreetingsDan of Greetings = open Prelude in {
|
||||
|
||||
-- lincat
|
||||
-- Greeting = SS ;
|
||||
--
|
||||
-- lin
|
||||
-- GBye = ss "hej då" ;
|
||||
-- GCheers = ss "skål" ;
|
||||
-- GDamn = ss "fan" ;
|
||||
-- GExcuse, GExcusePol = ss "ursäkta" ;
|
||||
-- GGoodDay = ss "god dag" ;
|
||||
-- GGoodEvening = ss "god afton" ;
|
||||
-- GGoodMorning = ss "god morgon" ;
|
||||
-- GGoodNight = ss "god natt" ;
|
||||
-- GGoodbye = ss "hej då" ;
|
||||
-- GHello = ss "hej" ;
|
||||
-- GHelp = ss "hjälp" ;
|
||||
-- GHowAreYou = ss "hur står det till" ;
|
||||
-- GLookOut = ss "se upp" ;
|
||||
-- GNiceToMeetYou = ss "trevligt att träffas" ;
|
||||
-- GPleaseGive, GPleaseGivePol = ss "var så god" ;
|
||||
-- GSeeYouSoon = ss "vi ses snart" ;
|
||||
-- GSorry, GSorryPol = ss "förlåt" ;
|
||||
-- GThanks = ss "tack" ;
|
||||
-- GTheCheck = ss "notan" ;
|
||||
--
|
||||
-- }
|
||||
}
|
||||
28
examples/phrasebook/GreetingsDut.gf
Normal file
28
examples/phrasebook/GreetingsDut.gf
Normal file
@@ -0,0 +1,28 @@
|
||||
concrete GreetingsDut of Greetings = open Prelude in {
|
||||
|
||||
-- lincat
|
||||
-- Greeting = SS ;
|
||||
--
|
||||
-- lin
|
||||
-- GBye = ss "hej då" ;
|
||||
-- GCheers = ss "skål" ;
|
||||
-- GDamn = ss "fan" ;
|
||||
-- GExcuse, GExcusePol = ss "ursäkta" ;
|
||||
-- GGoodDay = ss "god dag" ;
|
||||
-- GGoodEvening = ss "god afton" ;
|
||||
-- GGoodMorning = ss "god morgon" ;
|
||||
-- GGoodNight = ss "god natt" ;
|
||||
-- GGoodbye = ss "hej då" ;
|
||||
-- GHello = ss "hej" ;
|
||||
-- GHelp = ss "hjälp" ;
|
||||
-- GHowAreYou = ss "hur står det till" ;
|
||||
-- GLookOut = ss "se upp" ;
|
||||
-- GNiceToMeetYou = ss "trevligt att träffas" ;
|
||||
-- GPleaseGive, GPleaseGivePol = ss "var så god" ;
|
||||
-- GSeeYouSoon = ss "vi ses snart" ;
|
||||
-- GSorry, GSorryPol = ss "förlåt" ;
|
||||
-- GThanks = ss "tack" ;
|
||||
-- GTheCheck = ss "notan" ;
|
||||
--
|
||||
-- }
|
||||
}
|
||||
28
examples/phrasebook/GreetingsNor.gf
Normal file
28
examples/phrasebook/GreetingsNor.gf
Normal file
@@ -0,0 +1,28 @@
|
||||
concrete GreetingsNor of Greetings = open Prelude in {
|
||||
|
||||
-- lincat
|
||||
-- Greeting = SS ;
|
||||
--
|
||||
-- lin
|
||||
-- GBye = ss "hej då" ;
|
||||
-- GCheers = ss "skål" ;
|
||||
-- GDamn = ss "fan" ;
|
||||
-- GExcuse, GExcusePol = ss "ursäkta" ;
|
||||
-- GGoodDay = ss "god dag" ;
|
||||
-- GGoodEvening = ss "god afton" ;
|
||||
-- GGoodMorning = ss "god morgon" ;
|
||||
-- GGoodNight = ss "god natt" ;
|
||||
-- GGoodbye = ss "hej då" ;
|
||||
-- GHello = ss "hej" ;
|
||||
-- GHelp = ss "hjälp" ;
|
||||
-- GHowAreYou = ss "hur står det till" ;
|
||||
-- GLookOut = ss "se upp" ;
|
||||
-- GNiceToMeetYou = ss "trevligt att träffas" ;
|
||||
-- GPleaseGive, GPleaseGivePol = ss "var så god" ;
|
||||
-- GSeeYouSoon = ss "vi ses snart" ;
|
||||
-- GSorry, GSorryPol = ss "förlåt" ;
|
||||
-- GThanks = ss "tack" ;
|
||||
-- GTheCheck = ss "notan" ;
|
||||
--
|
||||
-- }
|
||||
}
|
||||
28
examples/phrasebook/GreetingsPol.gf
Normal file
28
examples/phrasebook/GreetingsPol.gf
Normal file
@@ -0,0 +1,28 @@
|
||||
concrete GreetingsPol of Greetings = open Prelude in {
|
||||
|
||||
-- lincat
|
||||
-- Greeting = SS ;
|
||||
--
|
||||
-- lin
|
||||
-- GBye = ss "hej då" ;
|
||||
-- GCheers = ss "skål" ;
|
||||
-- GDamn = ss "fan" ;
|
||||
-- GExcuse, GExcusePol = ss "ursäkta" ;
|
||||
-- GGoodDay = ss "god dag" ;
|
||||
-- GGoodEvening = ss "god afton" ;
|
||||
-- GGoodMorning = ss "god morgon" ;
|
||||
-- GGoodNight = ss "god natt" ;
|
||||
-- GGoodbye = ss "hej då" ;
|
||||
-- GHello = ss "hej" ;
|
||||
-- GHelp = ss "hjälp" ;
|
||||
-- GHowAreYou = ss "hur står det till" ;
|
||||
-- GLookOut = ss "se upp" ;
|
||||
-- GNiceToMeetYou = ss "trevligt att träffas" ;
|
||||
-- GPleaseGive, GPleaseGivePol = ss "var så god" ;
|
||||
-- GSeeYouSoon = ss "vi ses snart" ;
|
||||
-- GSorry, GSorryPol = ss "förlåt" ;
|
||||
-- GThanks = ss "tack" ;
|
||||
-- GTheCheck = ss "notan" ;
|
||||
--
|
||||
-- }
|
||||
}
|
||||
28
examples/phrasebook/GreetingsRus.gf
Normal file
28
examples/phrasebook/GreetingsRus.gf
Normal file
@@ -0,0 +1,28 @@
|
||||
concrete GreetingsRus of Greetings = open Prelude in {
|
||||
|
||||
-- lincat
|
||||
-- Greeting = SS ;
|
||||
--
|
||||
-- lin
|
||||
-- GBye = ss "hej då" ;
|
||||
-- GCheers = ss "skål" ;
|
||||
-- GDamn = ss "fan" ;
|
||||
-- GExcuse, GExcusePol = ss "ursäkta" ;
|
||||
-- GGoodDay = ss "god dag" ;
|
||||
-- GGoodEvening = ss "god afton" ;
|
||||
-- GGoodMorning = ss "god morgon" ;
|
||||
-- GGoodNight = ss "god natt" ;
|
||||
-- GGoodbye = ss "hej då" ;
|
||||
-- GHello = ss "hej" ;
|
||||
-- GHelp = ss "hjälp" ;
|
||||
-- GHowAreYou = ss "hur står det till" ;
|
||||
-- GLookOut = ss "se upp" ;
|
||||
-- GNiceToMeetYou = ss "trevligt att träffas" ;
|
||||
-- GPleaseGive, GPleaseGivePol = ss "var så god" ;
|
||||
-- GSeeYouSoon = ss "vi ses snart" ;
|
||||
-- GSorry, GSorryPol = ss "förlåt" ;
|
||||
-- GThanks = ss "tack" ;
|
||||
-- GTheCheck = ss "notan" ;
|
||||
--
|
||||
-- }
|
||||
}
|
||||
@@ -1,14 +1,17 @@
|
||||
all: pgf missing
|
||||
all: demo missing
|
||||
|
||||
pgf:
|
||||
demo:
|
||||
gf -make PhrasebookEng.gf PhrasebookFin.gf PhrasebookFre.gf PhrasebookIta.gf PhrasebookRon.gf PhrasebookSwe.gf DisambPhrasebookEng.gf
|
||||
#DisambPhrasebookRon.gf
|
||||
|
||||
pgf:
|
||||
gf -make Phrasebook???.gf DisambPhrasebookEng.gf
|
||||
|
||||
koe:
|
||||
gf -make PhrasebookEng.gf PhrasebookFre.gf DisambPhrasebookEng.gf
|
||||
|
||||
missing:
|
||||
echo "pg -missing | wf -file=missing.txt" | gf Phrasebook.pgf
|
||||
echo "pg -missing | wf -file=missing.txt" | gf Phrasebook???.gf
|
||||
|
||||
doc:
|
||||
txt2tags -thtml phrasebook.txt
|
||||
|
||||
@@ -2,7 +2,7 @@
|
||||
|
||||
concrete PhrasebookCat of Phrasebook =
|
||||
GreetingsCat,
|
||||
WordsIta
|
||||
WordsCat
|
||||
** open
|
||||
SyntaxCat,
|
||||
Prelude in {
|
||||
|
||||
12
examples/phrasebook/PhrasebookDan.gf
Normal file
12
examples/phrasebook/PhrasebookDan.gf
Normal file
@@ -0,0 +1,12 @@
|
||||
--# -path=.:present
|
||||
|
||||
concrete PhrasebookDan of Phrasebook =
|
||||
GreetingsDan,
|
||||
WordsDan ** open
|
||||
SyntaxDan,
|
||||
Prelude in {
|
||||
|
||||
lin
|
||||
PGreeting g = lin Text (ss g.s) ;
|
||||
|
||||
}
|
||||
12
examples/phrasebook/PhrasebookDut.gf
Normal file
12
examples/phrasebook/PhrasebookDut.gf
Normal file
@@ -0,0 +1,12 @@
|
||||
--# -path=.:present
|
||||
|
||||
concrete PhrasebookDut of Phrasebook =
|
||||
GreetingsDut,
|
||||
WordsDut ** open
|
||||
SyntaxDut,
|
||||
Prelude in {
|
||||
|
||||
lin
|
||||
PGreeting g = lin Text (ss g.s) ;
|
||||
|
||||
}
|
||||
12
examples/phrasebook/PhrasebookNor.gf
Normal file
12
examples/phrasebook/PhrasebookNor.gf
Normal file
@@ -0,0 +1,12 @@
|
||||
--# -path=.:present
|
||||
|
||||
concrete PhrasebookNor of Phrasebook =
|
||||
GreetingsNor,
|
||||
WordsNor ** open
|
||||
SyntaxNor,
|
||||
Prelude in {
|
||||
|
||||
lin
|
||||
PGreeting g = lin Text (ss g.s) ;
|
||||
|
||||
}
|
||||
12
examples/phrasebook/PhrasebookPol.gf
Normal file
12
examples/phrasebook/PhrasebookPol.gf
Normal file
@@ -0,0 +1,12 @@
|
||||
--# -path=.:present
|
||||
|
||||
concrete PhrasebookPol of Phrasebook =
|
||||
GreetingsPol,
|
||||
WordsPol ** open
|
||||
SyntaxPol,
|
||||
Prelude in {
|
||||
|
||||
lin
|
||||
PGreeting g = lin Text (ss g.s) ;
|
||||
|
||||
}
|
||||
12
examples/phrasebook/PhrasebookRus.gf
Normal file
12
examples/phrasebook/PhrasebookRus.gf
Normal file
@@ -0,0 +1,12 @@
|
||||
--# -path=.:present
|
||||
|
||||
concrete PhrasebookRus of Phrasebook =
|
||||
GreetingsRus,
|
||||
WordsRus ** open
|
||||
SyntaxRus,
|
||||
Prelude in {
|
||||
|
||||
lin
|
||||
PGreeting g = lin Text (ss g.s) ;
|
||||
|
||||
}
|
||||
@@ -2,7 +2,7 @@
|
||||
|
||||
concrete PhrasebookSpa of Phrasebook =
|
||||
GreetingsSpa,
|
||||
WordsIta
|
||||
WordsSpa
|
||||
** open
|
||||
SyntaxSpa,
|
||||
Prelude in {
|
||||
|
||||
4
examples/phrasebook/SentencesDan.gf
Normal file
4
examples/phrasebook/SentencesDan.gf
Normal file
@@ -0,0 +1,4 @@
|
||||
concrete SentencesDan of Sentences = NumeralDan ** SentencesI with
|
||||
(Syntax = SyntaxDan),
|
||||
(Symbolic = SymbolicDan),
|
||||
(Lexicon = LexiconDan) ;
|
||||
4
examples/phrasebook/SentencesDut.gf
Normal file
4
examples/phrasebook/SentencesDut.gf
Normal file
@@ -0,0 +1,4 @@
|
||||
concrete SentencesDut of Sentences = NumeralDut ** SentencesI with
|
||||
(Syntax = SyntaxDut),
|
||||
(Symbolic = SymbolicDut),
|
||||
(Lexicon = LexiconDut) ;
|
||||
@@ -1,8 +1,9 @@
|
||||
concrete SentencesFin of Sentences = NumeralFin ** SentencesI - [Is] with
|
||||
concrete SentencesFin of Sentences = NumeralFin ** SentencesI - [Is,NameNN] with
|
||||
(Syntax = SyntaxFin),
|
||||
(Symbolic = SymbolicFin),
|
||||
(Lexicon = LexiconFin) ** open SyntaxFin, ExtraFin, (V = VerbFin) in {
|
||||
|
||||
lin Is item prop = mkCl item (V.UseComp (CompPartAP prop)) ; -- pizza on herkullista
|
||||
(Lexicon = LexiconFin) ** open SyntaxFin, ExtraFin, (P = ParadigmsFin), (V = VerbFin) in {
|
||||
|
||||
lin
|
||||
Is item prop = mkCl item (V.UseComp (CompPartAP prop)) ; -- pizza on herkullista
|
||||
NameNN = mkNP (P.mkPN "NN") ;
|
||||
} ;
|
||||
|
||||
4
examples/phrasebook/SentencesNor.gf
Normal file
4
examples/phrasebook/SentencesNor.gf
Normal file
@@ -0,0 +1,4 @@
|
||||
concrete SentencesNor of Sentences = NumeralNor ** SentencesI with
|
||||
(Syntax = SyntaxNor),
|
||||
(Symbolic = SymbolicNor),
|
||||
(Lexicon = LexiconNor) ;
|
||||
4
examples/phrasebook/SentencesPol.gf
Normal file
4
examples/phrasebook/SentencesPol.gf
Normal file
@@ -0,0 +1,4 @@
|
||||
concrete SentencesPol of Sentences = NumeralPol ** SentencesI with
|
||||
(Syntax = SyntaxPol),
|
||||
(Symbolic = SymbolicPol),
|
||||
(Lexicon = LexiconPol) ;
|
||||
10
examples/phrasebook/SentencesRus.gf
Normal file
10
examples/phrasebook/SentencesRus.gf
Normal file
@@ -0,0 +1,10 @@
|
||||
concrete SentencesRus of Sentences = NumeralRus ** SentencesI - [NameNN, Today] with
|
||||
(Syntax = SyntaxRus),
|
||||
--- (Symbolic = SymbolicRus),
|
||||
(Lexicon = LexiconRus) ** open ParadigmsRus in {
|
||||
|
||||
flags coding = utf8 ;
|
||||
|
||||
lin NameNN = mkNP (mkPN "нн" masculine animate) ;
|
||||
|
||||
}
|
||||
134
examples/phrasebook/WordsDan.gf
Normal file
134
examples/phrasebook/WordsDan.gf
Normal file
@@ -0,0 +1,134 @@
|
||||
-- (c) 2009 Aarne Ranta under LGPL
|
||||
|
||||
concrete WordsDan of Words = SentencesDan **
|
||||
open SyntaxDan, ParadigmsDan, IrregDan, (L = LexiconDan), Prelude in {
|
||||
|
||||
lin
|
||||
|
||||
-- kinds of food
|
||||
|
||||
Apple = mkCN L.apple_N ;
|
||||
Beer = mkCN L.beer_N ;
|
||||
Bread = mkCN L.bread_N ;
|
||||
-- Cheese = mkCN (mkN "ost") ;
|
||||
-- Coffee = mkCN (mkN "kaffe" neutrum) ;
|
||||
-- Fish = mkCN L.fish_N ;
|
||||
-- Milk = mkCN L.milk_N ;
|
||||
-- Pizza = mkCN (mkN "pizza") ;
|
||||
Salt = mkCN L.salt_N ;
|
||||
-- Tea = mkCN (mkN "te" neutrum) ;
|
||||
Water = mkCN L.water_N ;
|
||||
Wine = mkCN L.wine_N ;
|
||||
|
||||
-- properties
|
||||
--
|
||||
Bad = L.bad_A ;
|
||||
-- Boring = mkA "tråkig" ;
|
||||
Cold = L.cold_A ;
|
||||
-- Delicious = mkA "läcker" ;
|
||||
-- Expensive = mkA "dyr" ;
|
||||
-- Fresh = mkA "färsk" ;
|
||||
Good = L.good_A ;
|
||||
Warm = L.warm_A ;
|
||||
--
|
||||
-- places
|
||||
--
|
||||
-- Airport = mkPlace (mkN "flygplats" "flygplatser") "på" ;
|
||||
-- Bar = mkPlace (mkN "bar" "barer") "i" ;
|
||||
-- Church = mkPlace (mkN "kyrka") "i" ;
|
||||
-- Hospital = mkPlace (mkN "sjukhus" "sjukhus") "på" ;
|
||||
-- Museum = mkPlace (mkN "museum" "museet" "museer" "museerna") "på" ;
|
||||
-- Restaurant = mkPlace (mkN "restaurang" "restauranger") "på" ;
|
||||
-- Station = mkPlace (mkN "station" "stationer") "på" ;
|
||||
-- Toilet = mkPlace (mkN "toalett" "toaletter") "på" ;
|
||||
--
|
||||
-- currencies
|
||||
--
|
||||
-- DanishCrown = mkCN (mkA "dansk") (mkN "krona") ;
|
||||
-- Dollar = mkCN (mkN "dollar" "dollar") ;
|
||||
-- Euro = mkCN (mkN "euro" "euro") ;
|
||||
-- Lei = mkCN (mkN "lei" "lei") ;
|
||||
-- SwedishCrown = mkCN (mkA "svensk") (mkN "krona") ;
|
||||
--
|
||||
-- nationalities
|
||||
--
|
||||
-- Belgian = mkA "belgisk" ;
|
||||
-- Belgium = mkNP (mkPN "Belgien") ;
|
||||
-- English = mkNat "engelsk" "England" ;
|
||||
-- Finnish = mkNat "finsk" "Finland" ;
|
||||
-- Flemish = mkNP (mkPN "flamländska") ;
|
||||
-- French = mkNat "fransk" "Frankrike" ;
|
||||
-- Italian = mkNat "italiensk" "Italien" ;
|
||||
-- Romanian = mkNat "rumänsk" "Rumänien" ;
|
||||
-- Swedish = mkNat "svensk" "Sverige" ;
|
||||
--
|
||||
-- actions
|
||||
--
|
||||
-- AHasName p name = mkCl (nameOf p) name ;
|
||||
-- AHungry p = mkCl p.name (mkA "hungrig") ;
|
||||
-- AIll p = mkCl p.name (mkA "sjuk") ;
|
||||
-- AKnow p = mkCl p.name (mkV "veta" "vet" "vet" "visste" "vetat" "visst") ;
|
||||
-- ALike p item = mkCl p.name (mkV2 (mkV "tycker") (mkPrep "om")) item ;
|
||||
-- ALive p co = mkCl p.name (mkVP (mkVP (mkV "bo")) (SyntaxDan.mkAdv in_Prep co)) ;
|
||||
-- ALove p q = mkCl p.name (mkV2 (mkV "älska")) q.name ;
|
||||
-- AScared p = mkCl p.name (mkA "rädd") ;
|
||||
-- ASpeak p lang = mkCl p.name (mkV2 (mkV "tala")) lang ;
|
||||
-- AThirsty p = mkCl p.name (mkA "törstig") ;
|
||||
-- ATired p = mkCl p.name (mkA "trött") ;
|
||||
-- AUnderstand p = mkCl p.name (mkV "förstå" "förstod" "förstått") ;
|
||||
-- AWant p obj = mkCl p.name want_VV (mkVP have_V2 obj) ;
|
||||
-- AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.to) ;
|
||||
--
|
||||
-- miscellaneous
|
||||
--
|
||||
-- QWhatName p = mkQS (mkQCl whatSg_IP (mkVP (nameOf p))) ;
|
||||
--
|
||||
-- PropOpen p = mkCl p.name open_A ;
|
||||
-- PropClosed p = mkCl p.name closed_A ;
|
||||
-- PropOpenDate p d = mkCl p.name (mkVP (mkVP open_A) d) ;
|
||||
-- PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_A) d) ;
|
||||
-- PropOpenDay p d = mkCl p.name (mkVP (mkVP open_A) d.habitual) ;
|
||||
-- PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_A) d.habitual) ;
|
||||
--
|
||||
-- HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "kosta"))) ;
|
||||
-- ItCost item price = mkCl item (mkV2 (mkV "kosta")) price ;
|
||||
--
|
||||
-- week days
|
||||
--
|
||||
-- Monday = mkDay "måndag" ;
|
||||
-- Tuesday = mkDay "tisdag" ;
|
||||
-- Wednesday = mkDay "onsdag" ;
|
||||
-- Thursday = mkDay "torsdag" ;
|
||||
-- Friday = mkDay "fredag" ;
|
||||
-- Saturday = mkDay "lördag" ;
|
||||
-- Sunday = mkDay "söndag" ;
|
||||
--
|
||||
-- oper
|
||||
-- mkNat : Str -> Str -> {lang : NP ; prop : A ; country : NP} = \nat,co ->
|
||||
-- {lang = mkNP (mkPN (nat + "a")) ;
|
||||
-- prop = mkA nat ; country = mkNP (mkPN co)} ;
|
||||
--
|
||||
-- mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
|
||||
-- let day = mkNP (mkPN d) in
|
||||
-- {name = day ;
|
||||
-- point = SyntaxDan.mkAdv on_Prep day ;
|
||||
-- habitual = SyntaxDan.mkAdv on_Prep (mkNP a_Quant plNum (mkCN (mkN d)))
|
||||
-- } ;
|
||||
--
|
||||
-- mkPlace : N -> Str -> {name : CN ; at : Prep ; to : Prep} = \p,i -> {
|
||||
-- name = mkCN p ;
|
||||
-- at = mkPrep i ;
|
||||
-- to = to_Prep
|
||||
-- } ;
|
||||
--
|
||||
-- open_A = mkA "öppen" "öppet" ;
|
||||
-- closed_A = mkA "stängd" "stängt" ;
|
||||
--
|
||||
-- nameOf : {name : NP ; isPron : Bool ; poss : Det} -> NP = \p ->
|
||||
-- case p.isPron of {
|
||||
-- True => mkNP p.poss (mkN "namn" "namn") ;
|
||||
-- _ => mkNP (mkNP the_Det (mkN "namn" "namn"))
|
||||
-- (SyntaxDan.mkAdv possess_Prep p.name)
|
||||
-- } ;
|
||||
-- }
|
||||
}
|
||||
134
examples/phrasebook/WordsDut.gf
Normal file
134
examples/phrasebook/WordsDut.gf
Normal file
@@ -0,0 +1,134 @@
|
||||
-- (c) 2009 Aarne Ranta under LGPL
|
||||
|
||||
concrete WordsDut of Words = SentencesDut **
|
||||
open SyntaxDut, ParadigmsDut, IrregDut, (L = LexiconDut), Prelude in {
|
||||
|
||||
lin
|
||||
|
||||
-- kinds of food
|
||||
|
||||
Apple = mkCN L.apple_N ;
|
||||
Beer = mkCN L.beer_N ;
|
||||
Bread = mkCN L.bread_N ;
|
||||
-- Cheese = mkCN (mkN "ost") ;
|
||||
-- Coffee = mkCN (mkN "kaffe" neutrum) ;
|
||||
Fish = mkCN L.fish_N ;
|
||||
Milk = mkCN L.milk_N ;
|
||||
-- Pizza = mkCN (mkN "pizza") ;
|
||||
Salt = mkCN L.salt_N ;
|
||||
-- Tea = mkCN (mkN "te" neutrum) ;
|
||||
Water = mkCN L.water_N ;
|
||||
Wine = mkCN L.wine_N ;
|
||||
|
||||
-- properties
|
||||
|
||||
Bad = L.bad_A ;
|
||||
-- Boring = mkA "tråkig" ;
|
||||
Cold = L.cold_A ;
|
||||
-- Delicious = mkA "läcker" ;
|
||||
-- Expensive = mkA "dyr" ;
|
||||
-- Fresh = mkA "färsk" ;
|
||||
Good = L.good_A ;
|
||||
Warm = L.warm_A ;
|
||||
--
|
||||
-- places
|
||||
--
|
||||
-- Airport = mkPlace (mkN "flygplats" "flygplatser") "på" ;
|
||||
-- Bar = mkPlace (mkN "bar" "barer") "i" ;
|
||||
-- Church = mkPlace (mkN "kyrka") "i" ;
|
||||
-- Hospital = mkPlace (mkN "sjukhus" "sjukhus") "på" ;
|
||||
-- Museum = mkPlace (mkN "museum" "museet" "museer" "museerna") "på" ;
|
||||
-- Restaurant = mkPlace (mkN "restaurang" "restauranger") "på" ;
|
||||
-- Station = mkPlace (mkN "station" "stationer") "på" ;
|
||||
-- Toilet = mkPlace (mkN "toalett" "toaletter") "på" ;
|
||||
--
|
||||
-- currencies
|
||||
--
|
||||
-- DanishCrown = mkCN (mkA "dansk") (mkN "krona") ;
|
||||
-- Dollar = mkCN (mkN "dollar" "dollar") ;
|
||||
-- Euro = mkCN (mkN "euro" "euro") ;
|
||||
-- Lei = mkCN (mkN "lei" "lei") ;
|
||||
-- SwedishCrown = mkCN (mkA "svensk") (mkN "krona") ;
|
||||
--
|
||||
-- nationalities
|
||||
--
|
||||
-- Belgian = mkA "belgisk" ;
|
||||
-- Belgium = mkNP (mkPN "Belgien") ;
|
||||
-- English = mkNat "engelsk" "England" ;
|
||||
-- Finnish = mkNat "finsk" "Finland" ;
|
||||
-- Flemish = mkNP (mkPN "flamländska") ;
|
||||
-- French = mkNat "fransk" "Frankrike" ;
|
||||
-- Italian = mkNat "italiensk" "Italien" ;
|
||||
-- Romanian = mkNat "rumänsk" "Rumänien" ;
|
||||
-- Swedish = mkNat "svensk" "Sverige" ;
|
||||
--
|
||||
-- actions
|
||||
--
|
||||
-- AHasName p name = mkCl (nameOf p) name ;
|
||||
-- AHungry p = mkCl p.name (mkA "hungrig") ;
|
||||
-- AIll p = mkCl p.name (mkA "sjuk") ;
|
||||
-- AKnow p = mkCl p.name (mkV "veta" "vet" "vet" "visste" "vetat" "visst") ;
|
||||
-- ALike p item = mkCl p.name (mkV2 (mkV "tycker") (mkPrep "om")) item ;
|
||||
-- ALive p co = mkCl p.name (mkVP (mkVP (mkV "bo")) (SyntaxDut.mkAdv in_Prep co)) ;
|
||||
-- ALove p q = mkCl p.name (mkV2 (mkV "älska")) q.name ;
|
||||
-- AScared p = mkCl p.name (mkA "rädd") ;
|
||||
-- ASpeak p lang = mkCl p.name (mkV2 (mkV "tala")) lang ;
|
||||
-- AThirsty p = mkCl p.name (mkA "törstig") ;
|
||||
-- ATired p = mkCl p.name (mkA "trött") ;
|
||||
-- AUnderstand p = mkCl p.name (mkV "förstå" "förstod" "förstått") ;
|
||||
-- AWant p obj = mkCl p.name want_VV (mkVP have_V2 obj) ;
|
||||
-- AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.to) ;
|
||||
--
|
||||
-- miscellaneous
|
||||
--
|
||||
-- QWhatName p = mkQS (mkQCl whatSg_IP (mkVP (nameOf p))) ;
|
||||
--
|
||||
-- PropOpen p = mkCl p.name open_A ;
|
||||
-- PropClosed p = mkCl p.name closed_A ;
|
||||
-- PropOpenDate p d = mkCl p.name (mkVP (mkVP open_A) d) ;
|
||||
-- PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_A) d) ;
|
||||
-- PropOpenDay p d = mkCl p.name (mkVP (mkVP open_A) d.habitual) ;
|
||||
-- PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_A) d.habitual) ;
|
||||
--
|
||||
-- HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "kosta"))) ;
|
||||
-- ItCost item price = mkCl item (mkV2 (mkV "kosta")) price ;
|
||||
--
|
||||
-- week days
|
||||
--
|
||||
-- Monday = mkDay "måndag" ;
|
||||
-- Tuesday = mkDay "tisdag" ;
|
||||
-- Wednesday = mkDay "onsdag" ;
|
||||
-- Thursday = mkDay "torsdag" ;
|
||||
-- Friday = mkDay "fredag" ;
|
||||
-- Saturday = mkDay "lördag" ;
|
||||
-- Sunday = mkDay "söndag" ;
|
||||
--
|
||||
-- oper
|
||||
-- mkNat : Str -> Str -> {lang : NP ; prop : A ; country : NP} = \nat,co ->
|
||||
-- {lang = mkNP (mkPN (nat + "a")) ;
|
||||
-- prop = mkA nat ; country = mkNP (mkPN co)} ;
|
||||
--
|
||||
-- mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
|
||||
-- let day = mkNP (mkPN d) in
|
||||
-- {name = day ;
|
||||
-- point = SyntaxDut.mkAdv on_Prep day ;
|
||||
-- habitual = SyntaxDut.mkAdv on_Prep (mkNP a_Quant plNum (mkCN (mkN d)))
|
||||
-- } ;
|
||||
--
|
||||
-- mkPlace : N -> Str -> {name : CN ; at : Prep ; to : Prep} = \p,i -> {
|
||||
-- name = mkCN p ;
|
||||
-- at = mkPrep i ;
|
||||
-- to = to_Prep
|
||||
-- } ;
|
||||
--
|
||||
-- open_A = mkA "öppen" "öppet" ;
|
||||
-- closed_A = mkA "stängd" "stängt" ;
|
||||
--
|
||||
-- nameOf : {name : NP ; isPron : Bool ; poss : Det} -> NP = \p ->
|
||||
-- case p.isPron of {
|
||||
-- True => mkNP p.poss (mkN "namn" "namn") ;
|
||||
-- _ => mkNP (mkNP the_Det (mkN "namn" "namn"))
|
||||
-- (SyntaxDut.mkAdv possess_Prep p.name)
|
||||
-- } ;
|
||||
-- }
|
||||
}
|
||||
134
examples/phrasebook/WordsNor.gf
Normal file
134
examples/phrasebook/WordsNor.gf
Normal file
@@ -0,0 +1,134 @@
|
||||
-- (c) 2009 Aarne Ranta under LGPL
|
||||
|
||||
concrete WordsNor of Words = SentencesNor **
|
||||
open SyntaxNor, ParadigmsNor, IrregNor, (L = LexiconNor), Prelude in {
|
||||
|
||||
lin
|
||||
|
||||
-- kinds of food
|
||||
|
||||
Apple = mkCN L.apple_N ;
|
||||
Beer = mkCN L.beer_N ;
|
||||
Bread = mkCN L.bread_N ;
|
||||
-- Cheese = mkCN (mkN "ost") ;
|
||||
-- Coffee = mkCN (mkN "kaffe" neutrum) ;
|
||||
Fish = mkCN L.fish_N ;
|
||||
Milk = mkCN L.milk_N ;
|
||||
-- Pizza = mkCN (mkN "pizza") ;
|
||||
Salt = mkCN L.salt_N ;
|
||||
-- Tea = mkCN (mkN "te" neutrum) ;
|
||||
Water = mkCN L.water_N ;
|
||||
Wine = mkCN L.wine_N ;
|
||||
--
|
||||
-- properties
|
||||
--
|
||||
Bad = L.bad_A ;
|
||||
-- Boring = mkA "tråkig" ;
|
||||
Cold = L.cold_A ;
|
||||
-- Delicious = mkA "läcker" ;
|
||||
-- Expensive = mkA "dyr" ;
|
||||
-- Fresh = mkA "färsk" ;
|
||||
Good = L.good_A ;
|
||||
Warm = L.warm_A ;
|
||||
--
|
||||
-- places
|
||||
--
|
||||
-- Airport = mkPlace (mkN "flygplats" "flygplatser") "på" ;
|
||||
-- Bar = mkPlace (mkN "bar" "barer") "i" ;
|
||||
-- Church = mkPlace (mkN "kyrka") "i" ;
|
||||
-- Hospital = mkPlace (mkN "sjukhus" "sjukhus") "på" ;
|
||||
-- Museum = mkPlace (mkN "museum" "museet" "museer" "museerna") "på" ;
|
||||
-- Restaurant = mkPlace (mkN "restaurang" "restauranger") "på" ;
|
||||
-- Station = mkPlace (mkN "station" "stationer") "på" ;
|
||||
-- Toilet = mkPlace (mkN "toalett" "toaletter") "på" ;
|
||||
--
|
||||
-- currencies
|
||||
--
|
||||
-- DanishCrown = mkCN (mkA "dansk") (mkN "krona") ;
|
||||
-- Dollar = mkCN (mkN "dollar" "dollar") ;
|
||||
-- Euro = mkCN (mkN "euro" "euro") ;
|
||||
-- Lei = mkCN (mkN "lei" "lei") ;
|
||||
-- SwedishCrown = mkCN (mkA "svensk") (mkN "krona") ;
|
||||
--
|
||||
-- nationalities
|
||||
--
|
||||
-- Belgian = mkA "belgisk" ;
|
||||
-- Belgium = mkNP (mkPN "Belgien") ;
|
||||
-- English = mkNat "engelsk" "England" ;
|
||||
-- Finnish = mkNat "finsk" "Finland" ;
|
||||
-- Flemish = mkNP (mkPN "flamländska") ;
|
||||
-- French = mkNat "fransk" "Frankrike" ;
|
||||
-- Italian = mkNat "italiensk" "Italien" ;
|
||||
-- Romanian = mkNat "rumänsk" "Rumänien" ;
|
||||
-- Swedish = mkNat "svensk" "Sverige" ;
|
||||
--
|
||||
-- actions
|
||||
--
|
||||
-- AHasName p name = mkCl (nameOf p) name ;
|
||||
-- AHungry p = mkCl p.name (mkA "hungrig") ;
|
||||
-- AIll p = mkCl p.name (mkA "sjuk") ;
|
||||
-- AKnow p = mkCl p.name (mkV "veta" "vet" "vet" "visste" "vetat" "visst") ;
|
||||
-- ALike p item = mkCl p.name (mkV2 (mkV "tycker") (mkPrep "om")) item ;
|
||||
-- ALive p co = mkCl p.name (mkVP (mkVP (mkV "bo")) (SyntaxNor.mkAdv in_Prep co)) ;
|
||||
-- ALove p q = mkCl p.name (mkV2 (mkV "älska")) q.name ;
|
||||
-- AScared p = mkCl p.name (mkA "rädd") ;
|
||||
-- ASpeak p lang = mkCl p.name (mkV2 (mkV "tala")) lang ;
|
||||
-- AThirsty p = mkCl p.name (mkA "törstig") ;
|
||||
-- ATired p = mkCl p.name (mkA "trött") ;
|
||||
-- AUnderstand p = mkCl p.name (mkV "förstå" "förstod" "förstått") ;
|
||||
-- AWant p obj = mkCl p.name want_VV (mkVP have_V2 obj) ;
|
||||
-- AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.to) ;
|
||||
--
|
||||
-- miscellaneous
|
||||
--
|
||||
-- QWhatName p = mkQS (mkQCl whatSg_IP (mkVP (nameOf p))) ;
|
||||
--
|
||||
-- PropOpen p = mkCl p.name open_A ;
|
||||
-- PropClosed p = mkCl p.name closed_A ;
|
||||
-- PropOpenDate p d = mkCl p.name (mkVP (mkVP open_A) d) ;
|
||||
-- PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_A) d) ;
|
||||
-- PropOpenDay p d = mkCl p.name (mkVP (mkVP open_A) d.habitual) ;
|
||||
-- PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_A) d.habitual) ;
|
||||
--
|
||||
-- HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "kosta"))) ;
|
||||
-- ItCost item price = mkCl item (mkV2 (mkV "kosta")) price ;
|
||||
--
|
||||
-- week days
|
||||
--
|
||||
-- Monday = mkDay "måndag" ;
|
||||
-- Tuesday = mkDay "tisdag" ;
|
||||
-- Wednesday = mkDay "onsdag" ;
|
||||
-- Thursday = mkDay "torsdag" ;
|
||||
-- Friday = mkDay "fredag" ;
|
||||
-- Saturday = mkDay "lördag" ;
|
||||
-- Sunday = mkDay "söndag" ;
|
||||
--
|
||||
-- oper
|
||||
-- mkNat : Str -> Str -> {lang : NP ; prop : A ; country : NP} = \nat,co ->
|
||||
-- {lang = mkNP (mkPN (nat + "a")) ;
|
||||
-- prop = mkA nat ; country = mkNP (mkPN co)} ;
|
||||
--
|
||||
-- mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
|
||||
-- let day = mkNP (mkPN d) in
|
||||
-- {name = day ;
|
||||
-- point = SyntaxNor.mkAdv on_Prep day ;
|
||||
-- habitual = SyntaxNor.mkAdv on_Prep (mkNP a_Quant plNum (mkCN (mkN d)))
|
||||
-- } ;
|
||||
--
|
||||
-- mkPlace : N -> Str -> {name : CN ; at : Prep ; to : Prep} = \p,i -> {
|
||||
-- name = mkCN p ;
|
||||
-- at = mkPrep i ;
|
||||
-- to = to_Prep
|
||||
-- } ;
|
||||
--
|
||||
-- open_A = mkA "öppen" "öppet" ;
|
||||
-- closed_A = mkA "stängd" "stängt" ;
|
||||
--
|
||||
-- nameOf : {name : NP ; isPron : Bool ; poss : Det} -> NP = \p ->
|
||||
-- case p.isPron of {
|
||||
-- True => mkNP p.poss (mkN "namn" "namn") ;
|
||||
-- _ => mkNP (mkNP the_Det (mkN "namn" "namn"))
|
||||
-- (SyntaxNor.mkAdv possess_Prep p.name)
|
||||
-- } ;
|
||||
-- }
|
||||
}
|
||||
134
examples/phrasebook/WordsPol.gf
Normal file
134
examples/phrasebook/WordsPol.gf
Normal file
@@ -0,0 +1,134 @@
|
||||
-- (c) 2009 Aarne Ranta under LGPL
|
||||
|
||||
concrete WordsPol of Words = SentencesPol **
|
||||
open SyntaxPol, ParadigmsPol, (L = LexiconPol), Prelude in {
|
||||
|
||||
lin
|
||||
|
||||
-- kinds of food
|
||||
|
||||
Apple = mkCN L.apple_N ;
|
||||
Beer = mkCN L.beer_N ;
|
||||
Bread = mkCN L.bread_N ;
|
||||
-- Cheese = mkCN (mkN "ost") ;
|
||||
-- Coffee = mkCN (mkN "kaffe" neutrum) ;
|
||||
Fish = mkCN L.fish_N ;
|
||||
Milk = mkCN L.milk_N ;
|
||||
-- Pizza = mkCN (mkN "pizza") ;
|
||||
Salt = mkCN L.salt_N ;
|
||||
-- Tea = mkCN (mkN "te" neutrum) ;
|
||||
Water = mkCN L.water_N ;
|
||||
Wine = mkCN L.wine_N ;
|
||||
--
|
||||
-- properties
|
||||
--
|
||||
Bad = L.bad_A ;
|
||||
-- Boring = mkA "tråkig" ;
|
||||
Cold = L.cold_A ;
|
||||
-- Delicious = mkA "läcker" ;
|
||||
-- Expensive = mkA "dyr" ;
|
||||
-- Fresh = mkA "färsk" ;
|
||||
Good = L.good_A ;
|
||||
Warm = L.warm_A ;
|
||||
--
|
||||
-- places
|
||||
--
|
||||
-- Airport = mkPlace (mkN "flygplats" "flygplatser") "på" ;
|
||||
-- Bar = mkPlace (mkN "bar" "barer") "i" ;
|
||||
-- Church = mkPlace (mkN "kyrka") "i" ;
|
||||
-- Hospital = mkPlace (mkN "sjukhus" "sjukhus") "på" ;
|
||||
-- Museum = mkPlace (mkN "museum" "museet" "museer" "museerna") "på" ;
|
||||
-- Restaurant = mkPlace (mkN "restaurang" "restauranger") "på" ;
|
||||
-- Station = mkPlace (mkN "station" "stationer") "på" ;
|
||||
-- Toilet = mkPlace (mkN "toalett" "toaletter") "på" ;
|
||||
--
|
||||
-- currencies
|
||||
--
|
||||
-- DanishCrown = mkCN (mkA "dansk") (mkN "krona") ;
|
||||
-- Dollar = mkCN (mkN "dollar" "dollar") ;
|
||||
-- Euro = mkCN (mkN "euro" "euro") ;
|
||||
-- Lei = mkCN (mkN "lei" "lei") ;
|
||||
-- SwedishCrown = mkCN (mkA "svensk") (mkN "krona") ;
|
||||
--
|
||||
-- nationalities
|
||||
--
|
||||
-- Belgian = mkA "belgisk" ;
|
||||
-- Belgium = mkNP (mkPN "Belgien") ;
|
||||
-- English = mkNat "engelsk" "England" ;
|
||||
-- Finnish = mkNat "finsk" "Finland" ;
|
||||
-- Flemish = mkNP (mkPN "flamländska") ;
|
||||
-- French = mkNat "fransk" "Frankrike" ;
|
||||
-- Italian = mkNat "italiensk" "Italien" ;
|
||||
-- Romanian = mkNat "rumänsk" "Rumänien" ;
|
||||
-- Swedish = mkNat "svensk" "Sverige" ;
|
||||
--
|
||||
-- actions
|
||||
--
|
||||
-- AHasName p name = mkCl (nameOf p) name ;
|
||||
-- AHungry p = mkCl p.name (mkA "hungrig") ;
|
||||
-- AIll p = mkCl p.name (mkA "sjuk") ;
|
||||
-- AKnow p = mkCl p.name (mkV "veta" "vet" "vet" "visste" "vetat" "visst") ;
|
||||
-- ALike p item = mkCl p.name (mkV2 (mkV "tycker") (mkPrep "om")) item ;
|
||||
-- ALive p co = mkCl p.name (mkVP (mkVP (mkV "bo")) (SyntaxPol.mkAdv in_Prep co)) ;
|
||||
-- ALove p q = mkCl p.name (mkV2 (mkV "älska")) q.name ;
|
||||
-- AScared p = mkCl p.name (mkA "rädd") ;
|
||||
-- ASpeak p lang = mkCl p.name (mkV2 (mkV "tala")) lang ;
|
||||
-- AThirsty p = mkCl p.name (mkA "törstig") ;
|
||||
-- ATired p = mkCl p.name (mkA "trött") ;
|
||||
-- AUnderstand p = mkCl p.name (mkV "förstå" "förstod" "förstått") ;
|
||||
-- AWant p obj = mkCl p.name want_VV (mkVP have_V2 obj) ;
|
||||
-- AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.to) ;
|
||||
--
|
||||
-- miscellaneous
|
||||
--
|
||||
-- QWhatName p = mkQS (mkQCl whatSg_IP (mkVP (nameOf p))) ;
|
||||
--
|
||||
-- PropOpen p = mkCl p.name open_A ;
|
||||
-- PropClosed p = mkCl p.name closed_A ;
|
||||
-- PropOpenDate p d = mkCl p.name (mkVP (mkVP open_A) d) ;
|
||||
-- PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_A) d) ;
|
||||
-- PropOpenDay p d = mkCl p.name (mkVP (mkVP open_A) d.habitual) ;
|
||||
-- PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_A) d.habitual) ;
|
||||
--
|
||||
-- HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "kosta"))) ;
|
||||
-- ItCost item price = mkCl item (mkV2 (mkV "kosta")) price ;
|
||||
--
|
||||
-- week days
|
||||
--
|
||||
-- Monday = mkDay "måndag" ;
|
||||
-- Tuesday = mkDay "tisdag" ;
|
||||
-- Wednesday = mkDay "onsdag" ;
|
||||
-- Thursday = mkDay "torsdag" ;
|
||||
-- Friday = mkDay "fredag" ;
|
||||
-- Saturday = mkDay "lördag" ;
|
||||
-- Sunday = mkDay "söndag" ;
|
||||
--
|
||||
-- oper
|
||||
-- mkNat : Str -> Str -> {lang : NP ; prop : A ; country : NP} = \nat,co ->
|
||||
-- {lang = mkNP (mkPN (nat + "a")) ;
|
||||
-- prop = mkA nat ; country = mkNP (mkPN co)} ;
|
||||
--
|
||||
-- mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
|
||||
-- let day = mkNP (mkPN d) in
|
||||
-- {name = day ;
|
||||
-- point = SyntaxPol.mkAdv on_Prep day ;
|
||||
-- habitual = SyntaxPol.mkAdv on_Prep (mkNP a_Quant plNum (mkCN (mkN d)))
|
||||
-- } ;
|
||||
--
|
||||
-- mkPlace : N -> Str -> {name : CN ; at : Prep ; to : Prep} = \p,i -> {
|
||||
-- name = mkCN p ;
|
||||
-- at = mkPrep i ;
|
||||
-- to = to_Prep
|
||||
-- } ;
|
||||
--
|
||||
-- open_A = mkA "öppen" "öppet" ;
|
||||
-- closed_A = mkA "stängd" "stängt" ;
|
||||
--
|
||||
-- nameOf : {name : NP ; isPron : Bool ; poss : Det} -> NP = \p ->
|
||||
-- case p.isPron of {
|
||||
-- True => mkNP p.poss (mkN "namn" "namn") ;
|
||||
-- _ => mkNP (mkNP the_Det (mkN "namn" "namn"))
|
||||
-- (SyntaxPol.mkAdv possess_Prep p.name)
|
||||
-- } ;
|
||||
-- }
|
||||
}
|
||||
134
examples/phrasebook/WordsRus.gf
Normal file
134
examples/phrasebook/WordsRus.gf
Normal file
@@ -0,0 +1,134 @@
|
||||
-- (c) 2009 Aarne Ranta under LGPL
|
||||
|
||||
concrete WordsRus of Words = SentencesRus **
|
||||
open SyntaxRus, ParadigmsRus, (L = LexiconRus), Prelude in {
|
||||
|
||||
lin
|
||||
|
||||
-- kinds of food
|
||||
--
|
||||
Apple = mkCN L.apple_N ;
|
||||
Beer = mkCN L.beer_N ;
|
||||
Bread = mkCN L.bread_N ;
|
||||
-- Cheese = mkCN (mkN "ost") ;
|
||||
-- Coffee = mkCN (mkN "kaffe" neutrum) ;
|
||||
Fish = mkCN L.fish_N ;
|
||||
Milk = mkCN L.milk_N ;
|
||||
-- Pizza = mkCN (mkN "pizza") ;
|
||||
Salt = mkCN L.salt_N ;
|
||||
-- Tea = mkCN (mkN "te" neutrum) ;
|
||||
Water = mkCN L.water_N ;
|
||||
Wine = mkCN L.wine_N ;
|
||||
--
|
||||
-- properties
|
||||
--
|
||||
Bad = L.bad_A ;
|
||||
-- Boring = mkA "tråkig" ;
|
||||
Cold = L.cold_A ;
|
||||
-- Delicious = mkA "läcker" ;
|
||||
-- Expensive = mkA "dyr" ;
|
||||
-- Fresh = mkA "färsk" ;
|
||||
Good = L.good_A ;
|
||||
Warm = L.warm_A ;
|
||||
--
|
||||
-- places
|
||||
--
|
||||
-- Airport = mkPlace (mkN "flygplats" "flygplatser") "på" ;
|
||||
-- Bar = mkPlace (mkN "bar" "barer") "i" ;
|
||||
-- Church = mkPlace (mkN "kyrka") "i" ;
|
||||
-- Hospital = mkPlace (mkN "sjukhus" "sjukhus") "på" ;
|
||||
-- Museum = mkPlace (mkN "museum" "museet" "museer" "museerna") "på" ;
|
||||
-- Restaurant = mkPlace (mkN "restaurang" "restauranger") "på" ;
|
||||
-- Station = mkPlace (mkN "station" "stationer") "på" ;
|
||||
-- Toilet = mkPlace (mkN "toalett" "toaletter") "på" ;
|
||||
--
|
||||
-- currencies
|
||||
--
|
||||
-- DanishCrown = mkCN (mkA "dansk") (mkN "krona") ;
|
||||
-- Dollar = mkCN (mkN "dollar" "dollar") ;
|
||||
-- Euro = mkCN (mkN "euro" "euro") ;
|
||||
-- Lei = mkCN (mkN "lei" "lei") ;
|
||||
-- SwedishCrown = mkCN (mkA "svensk") (mkN "krona") ;
|
||||
--
|
||||
-- nationalities
|
||||
--
|
||||
-- Belgian = mkA "belgisk" ;
|
||||
-- Belgium = mkNP (mkPN "Belgien") ;
|
||||
-- English = mkNat "engelsk" "England" ;
|
||||
-- Finnish = mkNat "finsk" "Finland" ;
|
||||
-- Flemish = mkNP (mkPN "flamländska") ;
|
||||
-- French = mkNat "fransk" "Frankrike" ;
|
||||
-- Italian = mkNat "italiensk" "Italien" ;
|
||||
-- Romanian = mkNat "rumänsk" "Rumänien" ;
|
||||
-- Swedish = mkNat "svensk" "Sverige" ;
|
||||
--
|
||||
-- actions
|
||||
--
|
||||
-- AHasName p name = mkCl (nameOf p) name ;
|
||||
-- AHungry p = mkCl p.name (mkA "hungrig") ;
|
||||
-- AIll p = mkCl p.name (mkA "sjuk") ;
|
||||
-- AKnow p = mkCl p.name (mkV "veta" "vet" "vet" "visste" "vetat" "visst") ;
|
||||
-- ALike p item = mkCl p.name (mkV2 (mkV "tycker") (mkPrep "om")) item ;
|
||||
-- ALive p co = mkCl p.name (mkVP (mkVP (mkV "bo")) (SyntaxRus.mkAdv in_Prep co)) ;
|
||||
-- ALove p q = mkCl p.name (mkV2 (mkV "älska")) q.name ;
|
||||
-- AScared p = mkCl p.name (mkA "rädd") ;
|
||||
-- ASpeak p lang = mkCl p.name (mkV2 (mkV "tala")) lang ;
|
||||
-- AThirsty p = mkCl p.name (mkA "törstig") ;
|
||||
-- ATired p = mkCl p.name (mkA "trött") ;
|
||||
-- AUnderstand p = mkCl p.name (mkV "förstå" "förstod" "förstått") ;
|
||||
-- AWant p obj = mkCl p.name want_VV (mkVP have_V2 obj) ;
|
||||
-- AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.to) ;
|
||||
--
|
||||
-- miscellaneous
|
||||
--
|
||||
-- QWhatName p = mkQS (mkQCl whatSg_IP (mkVP (nameOf p))) ;
|
||||
--
|
||||
-- PropOpen p = mkCl p.name open_A ;
|
||||
-- PropClosed p = mkCl p.name closed_A ;
|
||||
-- PropOpenDate p d = mkCl p.name (mkVP (mkVP open_A) d) ;
|
||||
-- PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_A) d) ;
|
||||
-- PropOpenDay p d = mkCl p.name (mkVP (mkVP open_A) d.habitual) ;
|
||||
-- PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_A) d.habitual) ;
|
||||
--
|
||||
-- HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "kosta"))) ;
|
||||
-- ItCost item price = mkCl item (mkV2 (mkV "kosta")) price ;
|
||||
--
|
||||
-- week days
|
||||
--
|
||||
-- Monday = mkDay "måndag" ;
|
||||
-- Tuesday = mkDay "tisdag" ;
|
||||
-- Wednesday = mkDay "onsdag" ;
|
||||
-- Thursday = mkDay "torsdag" ;
|
||||
-- Friday = mkDay "fredag" ;
|
||||
-- Saturday = mkDay "lördag" ;
|
||||
-- Sunday = mkDay "söndag" ;
|
||||
--
|
||||
-- oper
|
||||
-- mkNat : Str -> Str -> {lang : NP ; prop : A ; country : NP} = \nat,co ->
|
||||
-- {lang = mkNP (mkPN (nat + "a")) ;
|
||||
-- prop = mkA nat ; country = mkNP (mkPN co)} ;
|
||||
--
|
||||
-- mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
|
||||
-- let day = mkNP (mkPN d) in
|
||||
-- {name = day ;
|
||||
-- point = SyntaxRus.mkAdv on_Prep day ;
|
||||
-- habitual = SyntaxRus.mkAdv on_Prep (mkNP a_Quant plNum (mkCN (mkN d)))
|
||||
-- } ;
|
||||
--
|
||||
-- mkPlace : N -> Str -> {name : CN ; at : Prep ; to : Prep} = \p,i -> {
|
||||
-- name = mkCN p ;
|
||||
-- at = mkPrep i ;
|
||||
-- to = to_Prep
|
||||
-- } ;
|
||||
--
|
||||
-- open_A = mkA "öppen" "öppet" ;
|
||||
-- closed_A = mkA "stängd" "stängt" ;
|
||||
--
|
||||
-- nameOf : {name : NP ; isPron : Bool ; poss : Det} -> NP = \p ->
|
||||
-- case p.isPron of {
|
||||
-- True => mkNP p.poss (mkN "namn" "namn") ;
|
||||
-- _ => mkNP (mkNP the_Det (mkN "namn" "namn"))
|
||||
-- (SyntaxRus.mkAdv possess_Prep p.name)
|
||||
-- } ;
|
||||
-- }
|
||||
}
|
||||
@@ -1,7 +1,15 @@
|
||||
DisambPhrasebookEng :
|
||||
PhrasebookBul : AHasName AHungry AIll AKnow ALike ALive ALove AScared ASpeak AThirsty ATired AUnderstand AWant Airport Bar Belgian Belgium Boring Cheap Cheese Chicken Church Cinema Coffee DanishCrown Delicious Dollar English Euro Expensive Finnish Flemish French Fresh Friday GBye GCheers GDamn GExcuse GExcusePol GGoodDay GGoodEvening GGoodMorning GGoodNight GGoodbye GHello GHelp GHowAreYou GLookOut GNiceToMeetYou GPleaseGive GPleaseGivePol GSeeYouSoon GSorry GSorryPol GThanks GTheCheck Hospital Hotel HowMuchCost ItCost Italian Lei Meat Monday Museum Park Pizza PropClosed PropClosedDate PropClosedDay PropOpen PropOpenDate PropOpenDay QWhatName Restaurant Romanian Saturday School Shop Station Sunday Suspect Swedish SwedishCrown Tea Theatre Thursday Toilet Tuesday University Wednesday
|
||||
PhrasebookCat : AHasName AHungry AIll AKnow ALike ALive ALove AScared ASpeak AThirsty ATired AUnderstand AWant Airport Bar Belgian Belgium Boring Cheap Cheese Chicken Church Cinema Coffee DanishCrown Delicious Dollar English Euro Expensive Finnish Flemish French Fresh Friday GBye GCheers GDamn GExcuse GExcusePol GGoodDay GGoodEvening GGoodMorning GGoodNight GGoodbye GHello GHelp GHowAreYou GLookOut GNiceToMeetYou GPleaseGive GPleaseGivePol GSeeYouSoon GSorry GSorryPol GThanks GTheCheck Hospital Hotel HowMuchCost ItCost Italian Lei Meat Monday Museum Park Pizza PropClosed PropClosedDate PropClosedDay PropOpen PropOpenDate PropOpenDay QWhatName Restaurant Romanian Saturday School Shop Station Sunday Suspect Swedish SwedishCrown Tea Theatre Thursday Toilet Tuesday University Wednesday pot01
|
||||
PhrasebookDan : AHasName AHungry AIll AKnow ALike ALive ALove AScared ASpeak AThirsty ATired AUnderstand AWant AWantGo Airport Bar Belgian Belgium Boring Cheap Cheese Chicken Church Cinema Coffee DanishCrown Delicious Dollar English Euro Expensive Finnish Fish Flemish French Fresh Friday GBye GCheers GDamn GExcuse GExcusePol GGoodDay GGoodEvening GGoodMorning GGoodNight GGoodbye GHello GHelp GHowAreYou GLookOut GNiceToMeetYou GPleaseGive GPleaseGivePol GSeeYouSoon GSorry GSorryPol GThanks GTheCheck Hospital Hotel HowMuchCost ItCost Italian Lei Meat Milk Monday Museum Park Pizza PropClosed PropClosedDate PropClosedDay PropOpen PropOpenDate PropOpenDay QWhatName Restaurant Romanian Saturday School Shop Station Sunday Suspect Swedish SwedishCrown Tea Theatre Thursday Toilet Tuesday University Wednesday
|
||||
PhrasebookDut : AHasName AHungry AIll AKnow ALike ALive ALove AScared ASpeak AThirsty ATired AUnderstand AWant AWantGo Airport Bar Belgian Belgium Boring Cheap Cheese Chicken Church Cinema Coffee DanishCrown Delicious Dollar English Euro Expensive Finnish Flemish French Fresh Friday GBye GCheers GDamn GExcuse GExcusePol GGoodDay GGoodEvening GGoodMorning GGoodNight GGoodbye GHello GHelp GHowAreYou GLookOut GNiceToMeetYou GPleaseGive GPleaseGivePol GSeeYouSoon GSorry GSorryPol GThanks GTheCheck Hospital Hotel HowMuchCost ItCost Italian Lei Meat Monday Museum Park Pizza PropClosed PropClosedDate PropClosedDay PropOpen PropOpenDate PropOpenDay QWhatName Restaurant Romanian Saturday School Shop Station Sunday Suspect Swedish SwedishCrown Tea Theatre Thursday Toilet Tuesday University Wednesday
|
||||
PhrasebookEng :
|
||||
PhrasebookFin :
|
||||
PhrasebookFre :
|
||||
PhrasebookIta : GNiceToMeetYou GSeeYouSoon
|
||||
PhrasebookRon : AHasName AHungry AIll AKnow ALive AScared AThirsty ATired AWantGo Airport Belgian Belgium Church Coffee English Finnish Flemish French Friday GExcusePol GPleaseGivePol GSorryPol Hospital Italian Monday Museum PropClosed PropClosedDate PropClosedDay PropOpen PropOpenDate PropOpenDay QWhatName Romanian Saturday Station Sunday Swedish Tea Thursday Tuesday Wednesday
|
||||
PhrasebookSwe :
|
||||
PhrasebookFin : Cinema DanishCrown SwedishCrown Theatre
|
||||
PhrasebookFre : Cheap Cinema Hotel Park School Shop Suspect Theatre University
|
||||
PhrasebookGer : AHasName AHungry AIll AKnow ALike ALive ALove AScared ASpeak AThirsty ATired AUnderstand Airport Bar Belgian Belgium Boring Cheap Cheese Chicken Church Cinema Coffee DanishCrown Delicious Dollar English Euro Expensive Finnish Flemish French Fresh Friday GBye GCheers GDamn GExcuse GExcusePol GGoodDay GGoodEvening GGoodMorning GGoodNight GGoodbye GHello GHelp GHowAreYou GLookOut GNiceToMeetYou GPleaseGive GPleaseGivePol GSeeYouSoon GSorry GSorryPol GThanks GTheCheck Hospital Hotel HowMuchCost ItCost Italian Lei Meat Monday Museum Park Pizza PropClosed PropClosedDate PropClosedDay PropOpen PropOpenDate PropOpenDay QWhatName Restaurant Romanian Saturday School Shop Station Sunday Suspect Swedish SwedishCrown Tea Theatre Thursday Toilet Tuesday University Wednesday
|
||||
PhrasebookIta : Cheap Chicken Cinema GNiceToMeetYou Hotel Meat Park School Shop Suspect SwedishCrown Theatre University
|
||||
PhrasebookNor : AHasName AHungry AIll AKnow ALike ALive ALove AScared ASpeak AThirsty ATired AUnderstand AWant AWantGo Airport Bar Belgian Belgium Boring Cheap Cheese Chicken Church Cinema Coffee DanishCrown Delicious Dollar English Euro Expensive Finnish Flemish French Fresh Friday GBye GCheers GDamn GExcuse GExcusePol GGoodDay GGoodEvening GGoodMorning GGoodNight GGoodbye GHello GHelp GHowAreYou GLookOut GNiceToMeetYou GPleaseGive GPleaseGivePol GSeeYouSoon GSorry GSorryPol GThanks GTheCheck Hospital Hotel HowMuchCost ItCost Italian Lei Meat Monday Museum Park Pizza PropClosed PropClosedDate PropClosedDay PropOpen PropOpenDate PropOpenDay QWhatName Restaurant Romanian Saturday School Shop Station Sunday Suspect Swedish SwedishCrown Tea Theatre Thursday Toilet Tuesday University Wednesday
|
||||
PhrasebookPol : AHasName AHungry AIll AKnow ALike ALive ALove AScared ASpeak AThirsty ATired AUnderstand AWant AWantGo Airport Bar Belgian Belgium Boring Cheap Cheese Chicken Church Cinema Coffee DanishCrown Delicious Dollar English Euro Expensive Finnish Flemish French Fresh Friday GBye GCheers GDamn GExcuse GExcusePol GGoodDay GGoodEvening GGoodMorning GGoodNight GGoodbye GHello GHelp GHowAreYou GLookOut GNiceToMeetYou GPleaseGive GPleaseGivePol GSeeYouSoon GSorry GSorryPol GThanks GTheCheck Hospital Hotel HowMuchCost ItCost Italian Lei Meat Monday Museum Park Pizza PropClosed PropClosedDate PropClosedDay PropOpen PropOpenDate PropOpenDay QWhatName Restaurant Romanian Saturday School Shop Station Sunday Suspect Swedish SwedishCrown Tea Theatre Thursday Toilet Tuesday University Wednesday
|
||||
PhrasebookRon : AHasName AHungry AIll AKnow ALive AScared AThirsty ATired AWantGo Airport Belgian Belgium Cheap Chicken Church Cinema Coffee DanishCrown English Finnish Flemish French Friday GExcusePol GPleaseGivePol GSorryPol Hospital Hotel Italian Meat Monday Museum Park PropClosed PropClosedDate PropClosedDay PropOpen PropOpenDate PropOpenDay QWhatName Romanian Saturday School Shop Station Sunday Suspect Swedish SwedishCrown Tea Theatre Thursday Tuesday University Wednesday
|
||||
PhrasebookRus : AHasName AHungry AIll AKnow ALike ALive ALove AScared ASpeak AThirsty ATired AUnderstand AWant AWantGo Airport Bar Belgian Belgium Boring Cheap Cheese Chicken Church Cinema Coffee DanishCrown Delicious Dollar English Euro Expensive Finnish Flemish French Fresh Friday GBye GCheers GDamn GExcuse GExcusePol GGoodDay GGoodEvening GGoodMorning GGoodNight GGoodbye GHello GHelp GHowAreYou GLookOut GNiceToMeetYou GPleaseGive GPleaseGivePol GSeeYouSoon GSorry GSorryPol GThanks GTheCheck Hospital Hotel HowMuchCost ItCost Italian Lei Meat Monday Museum Park Pizza PropClosed PropClosedDate PropClosedDay PropOpen PropOpenDate PropOpenDay QWhatName Restaurant Romanian Saturday School Shop Station Sunday Suspect Swedish SwedishCrown Tea Theatre Thursday Today Toilet Tuesday University Wednesday
|
||||
PhrasebookSpa : AHasName AHungry AIll AKnow ALike ALive ALove AScared ASpeak AThirsty ATired AUnderstand AWant Airport Bar Belgian Belgium Boring Cheap Cheese Chicken Church Cinema Coffee DanishCrown Delicious Dollar English Euro Expensive Finnish Flemish French Fresh Friday GBye GCheers GDamn GExcuse GExcusePol GGoodDay GGoodEvening GGoodMorning GGoodNight GGoodbye GHello GHelp GHowAreYou GLookOut GNiceToMeetYou GPleaseGive GPleaseGivePol GSeeYouSoon GSorry GSorryPol GThanks GTheCheck Hospital Hotel HowMuchCost ItCost Italian Lei Meat Monday Museum Park Pizza PropClosed PropClosedDate PropClosedDay PropOpen PropOpenDate PropOpenDay QWhatName Restaurant Romanian Saturday School Shop Station Sunday Suspect Swedish SwedishCrown Tea Theatre Thursday Toilet Tuesday University Wednesday
|
||||
PhrasebookSwe : Cheap Chicken Cinema Hotel Meat Park School Shop Suspect Theatre University
|
||||
|
||||
@@ -17,6 +17,7 @@
|
||||
History
|
||||
</P>
|
||||
<UL>
|
||||
<LI>7 April. Added the Clone script, applied to initiate the rest of MOLTO languages.
|
||||
<LI>6 April. Version 0.4: weekdays, nationalities
|
||||
<LI>30 March. Version 0.3: disambiguation grammar for English
|
||||
<LI>28 March. Version 0.2: Swe, Ita; cat Action; small phrases.
|
||||
@@ -69,11 +70,12 @@ The source code resides in
|
||||
<A HREF="http://code.haskell.org/gf/examples/phrasebook/"><CODE>code.haskell.org/gf/examples/phrasebook/</CODE></A>
|
||||
</P>
|
||||
<P>
|
||||
Current status (6 April 2010):
|
||||
Current status (7 April 2010):
|
||||
</P>
|
||||
<UL>
|
||||
<LI>available in English, Finnish, French, Italian, Romanian, Swedish
|
||||
<LI>small coverage
|
||||
<LI>small coverage in abstract syntax
|
||||
<LI>reasonable implementations for English, Finnish, French, Italian, Romanian, Swedish
|
||||
<LI>almost just cloned for the rest of MOLTO languages
|
||||
<LI>works on web browsers calling a server
|
||||
<LI>web service not yet released, but preliminarily available in
|
||||
<A HREF="http://tournesol.cs.chalmers.se/~aarne/phrasebook/phrasebook.html"><CODE>http://tournesol.cs.chalmers.se/~aarne/phrasebook/phrasebook.html</CODE></A>
|
||||
@@ -94,10 +96,11 @@ Disambiguation, esp. of politeness distinctions.
|
||||
</P>
|
||||
<H1>Ontology</H1>
|
||||
<P>
|
||||
The abstract syntax defines the <B>ontology</B> behind the phrasebook. The ontology
|
||||
consists of the following <B>categories</B>. Some explanations can be found in the
|
||||
abstract syntax file
|
||||
<A HREF="http://code.haskell.org/gf/examples/phrasebook/Sentences.gf"><CODE>Sentences.gf</CODE></A>.
|
||||
The abstract syntax defines the <B>ontology</B> behind the phrasebook.
|
||||
Some explanations can be found in the abstract syntax files
|
||||
<A HREF="http://code.haskell.org/gf/examples/phrasebook/Sentences.gf"><CODE>Sentences.gf</CODE></A>
|
||||
and
|
||||
<A HREF="http://code.haskell.org/gf/examples/phrasebook/Words.gf"><CODE>Words.gf</CODE></A>.
|
||||
</P>
|
||||
<H1>Files</H1>
|
||||
<P>
|
||||
@@ -143,13 +146,13 @@ Improved translation interface
|
||||
</UL>
|
||||
|
||||
<P>
|
||||
The remaining 10 languages
|
||||
Complete the missing words and phrases
|
||||
</P>
|
||||
<P>
|
||||
Disambiguation grammars for other languages than English
|
||||
</P>
|
||||
<P>
|
||||
Extend lexica by hand or (semi)automatically for
|
||||
Extend the abstract lexicon in <CODE>Words</CODE> by hand or (semi)automatically for
|
||||
</P>
|
||||
<UL>
|
||||
<LI>food stuff
|
||||
|
||||
@@ -13,7 +13,7 @@ Aarne Ranta
|
||||
#BSMALL
|
||||
|
||||
History
|
||||
- 7 April. Added the Clone script, applied to the rest of MOLTO languages.
|
||||
- 7 April. Added the Clone script, applied to initiate the rest of MOLTO languages.
|
||||
- 6 April. Version 0.4: weekdays, nationalities
|
||||
- 30 March. Version 0.3: disambiguation grammar for English
|
||||
- 28 March. Version 0.2: Swe, Ita; cat Action; small phrases.
|
||||
@@ -58,8 +58,8 @@ The source code resides in
|
||||
|
||||
|
||||
Current status (7 April 2010):
|
||||
- small coverage
|
||||
- reasonable for English, Finnish, French, Italian, Romanian, Swedish
|
||||
- small coverage in abstract syntax
|
||||
- reasonable implementations for English, Finnish, French, Italian, Romanian, Swedish
|
||||
- almost just cloned for the rest of MOLTO languages
|
||||
- works on web browsers calling a server
|
||||
- web service not yet released, but preliminarily available in
|
||||
@@ -80,10 +80,11 @@ Disambiguation, esp. of politeness distinctions.
|
||||
|
||||
=Ontology=
|
||||
|
||||
The abstract syntax defines the **ontology** behind the phrasebook. The ontology
|
||||
consists of the following **categories**. Some explanations can be found in the
|
||||
abstract syntax file
|
||||
[``Sentences.gf`` http://code.haskell.org/gf/examples/phrasebook/Sentences.gf].
|
||||
The abstract syntax defines the **ontology** behind the phrasebook.
|
||||
Some explanations can be found in the abstract syntax files
|
||||
[``Sentences.gf`` http://code.haskell.org/gf/examples/phrasebook/Sentences.gf]
|
||||
and
|
||||
[``Words.gf`` http://code.haskell.org/gf/examples/phrasebook/Words.gf].
|
||||
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user