diff --git a/examples/phrasebook/GreetingsLav.gf b/examples/phrasebook/GreetingsLav.gf new file mode 100644 index 000000000..fa80f6730 --- /dev/null +++ b/examples/phrasebook/GreetingsLav.gf @@ -0,0 +1,33 @@ +--# -path=.:present +concrete GreetingsLav of Greetings = SentencesLav [Greeting, mkGreeting] ** +open Prelude +in { + + flags + coding = utf8 ; + + lin + GBye = mkGreeting "atā" ; + GCheers = mkGreeting "priekā" ; + GDamn = mkGreeting "sasodīts" ; + GExcuse, GExcusePol = mkGreeting "atvainojiet" ; + GGoodDay = mkGreeting "labdien" ; + GGoodEvening = mkGreeting "labvakar" ; + GGoodMorning = mkGreeting "labrīt" ; + GGoodNight = mkGreeting "ar labunakti" ; + GGoodbye = mkGreeting "visu labu" ; + GHello = mkGreeting "sveiki" ; + GHelp = mkGreeting "palīdziet" ; + GHowAreYou = mkGreeting "kā klājas" ; + GLookOut = mkGreeting "uzmanīgi" ; + GNiceToMeetYou, GNiceToMeetYouPol = mkGreeting "prieks iepazīties" ; + GPleaseGive, GPleaseGivePol = mkGreeting "lūdzu" ; + GSeeYouSoon = mkGreeting "uz drīzu tikšanos" ; + GSorry, GSorryPol = mkGreeting "piedodiet" ; + GThanks = mkGreeting "paldies" ; + GTheCheck = mkGreeting "rēķins" ; + GCongratulations = mkGreeting "apsveicu" ; + GHappyBirthday = mkGreeting "daudz laimes dzimšanas dienā" ; + GGoodLuck = mkGreeting "veiksmīgi" ; + +} diff --git a/examples/phrasebook/PhrasebookLav.gf b/examples/phrasebook/PhrasebookLav.gf new file mode 100644 index 000000000..93170159a --- /dev/null +++ b/examples/phrasebook/PhrasebookLav.gf @@ -0,0 +1,7 @@ +--# -path=.:present + +concrete PhrasebookLav of Phrasebook = GreetingsLav, WordsLav ** +open + SyntaxLav, + Prelude +in {} ; diff --git a/examples/phrasebook/SentencesLav.gf b/examples/phrasebook/SentencesLav.gf new file mode 100644 index 000000000..34e732762 --- /dev/null +++ b/examples/phrasebook/SentencesLav.gf @@ -0,0 +1,33 @@ +concrete SentencesLav of Sentences = NumeralLav ** SentencesI - [ + NameNN, + IFemale, + YouFamFemale, + YouPolFemale, + WeFemale, + YouPlurFamFemale, + YouPlurPolFemale, + TheyFemale +] +with + (Syntax = SyntaxLav), + (Symbolic = SymbolicLav), + (Lexicon = LexiconLav) ** +open + Prelude, + SyntaxLav, + (P = ParadigmsLav), + ExtraLav +in { + lin + NameNN = mkNP (P.mkN "NN") ; + + IFemale = mkPerson i8fem_Pron ; + YouFamFemale = mkPerson youSg8fem_Pron ; + YouPolFemale = mkPerson youPol8fem_Pron ; + WeFemale = mkPerson we8fem_Pron ; + YouPlurFamFemale, YouPlurPolFemale = mkPerson youPl8fem_Pron ; + TheyFemale = mkPerson they8fem_Pron ; + + --AHaveCurr p curr = mkCl p.name have_V2 (mkNP aPl_Det curr) ; + --AHaveCurr p curr = mkCl (mkVP have_V3 (mkNP aPl_Det curr) p.name) ; +} diff --git a/examples/phrasebook/WordsLav.gf b/examples/phrasebook/WordsLav.gf new file mode 100644 index 000000000..ef2f5bbda --- /dev/null +++ b/examples/phrasebook/WordsLav.gf @@ -0,0 +1,297 @@ +--# -path=.:present + +concrete WordsLav of Words = SentencesLav ** +open + SyntaxLav, + ParadigmsLav, + (P = ParadigmsLav), + (L = LexiconLav), + ExtraLav, + ResLav, + Prelude +in { + + flags + coding = utf8 ; + + lin + -- Kinds + + Apple = mkCN L.apple_N ; + Beer = mkCN L.beer_N ; + Bread = mkCN L.bread_N ; + Cheese = mkCN L.cheese_N ; + Chicken = mkCN (mkN "vista") ; + Coffee = mkCN (mkN "kafija") ; + Fish = mkCN L.fish_N ; + Meat = mkCN L.meat_N ; + Milk = mkCN L.milk_N ; + Pizza = mkCN (mkN "pica") ; + Salt = mkCN L.salt_N ; + Tea = mkCN (mkN "tēja") ; + Water = mkCN L.water_N ; + Wine = mkCN L.wine_N ; + + -- Properties + + Bad = L.bad_A ; + Boring = mkA "garlaicīgs" ; + Cheap = mkA "lēts" ; + Cold = L.cold_A ; + Delicious = mkA "garšīgs" ; + Expensive = mkA "dārgs" ; + Fresh = mkA "svaigs" ; + Good = L.good_A ; + Suspect = mkA "aizdomīgs" ; + Warm = L.warm_A ; + + -- Places + + Airport = mkPlace "lidosta" in_Prep ; + AmusementPark = mkPlace "atrakciju parks" in_Prep ; + Bank = mkPlace "banka" in_Prep ; + Bar = mkPlace "bārs" in_Prep ; + Cafeteria = mkPlace "kafejnīca" in_Prep ; + Center = mkPlace "centrs" in_Prep ; + Cinema = mkPlace "kino" in_Prep ; + Church = mkPlace "baznīca" in_Prep ; + Disco = mkPlace "diskotēka" in_Prep ; + Hospital = mkPlace "slimnīca" in_Prep ; + Hotel = mkPlace "viesnīca" in_Prep ; + Museum = mkPlace "muzejs" in_Prep ; + Park = mkPlace "parks" in_Prep ; + Parking = mkPlace "autostāvvieta" in_Prep ; + Pharmacy = mkPlace "aptieka" in_Prep ; + PostOffice = mkPlace "pasts" in_Prep ; + Pub = mkPlace "krogs" in_Prep ; + Restaurant = mkPlace "restorāns" in_Prep ; + School = mkPlace "skola" in_Prep ; + Shop = mkPlace "veikals" in_Prep ; + Station = mkPlace "stacija" in_Prep ; + Supermarket = mkPlace "lielveikals" in_Prep ; + Theatre = mkPlace "teātris" in_Prep ; + Toilet = mkPlace "tualete" in_Prep ; + University = mkPlace "universitāte" in_Prep ; + Zoo = mkPlace "zoodārzs" in_Prep ; + + CitRestaurant cit = mkCNPlace (mkCN cit (mkN "restorāns")) in_Prep to8uz_Prep ; + + -- Currencies + + DanishCrown = mkCN (mkA "dāņu") (mkN "krona") | mkCN (mkN "krona") ; + Dollar = mkCN (mkN "dolārs") ; + Euro = mkCN (mkN "eiro") ; + Lei = mkCN (mkN "leja") ; + Leva = mkCN (mkN "leva") ; + NorwegianCrown = mkCN (mkA "norvēģu") (mkN "krona") | mkCN (mkN "krona") ; + Pound = mkCN (mkN "mārciņa") ; + Rouble = mkCN (mkN "rublis") ; + SwedishCrown = mkCN (mkA "zviedru") (mkN "krona") | mkCN (mkN "krona") ; + Zloty = mkCN (mkN "zlots") ; + + -- Nationalities + + Belgian = mkA "beļģu" ; + Belgium = mkNP (mkPN "Beļģija") ; + Bulgarian = mkNat (mkA "bulgāru") (mkPN "Bulgārija") ; + Catalan = mkNat (mkA "kataloniešu") (mkPN "Katalonija") ; + Danish = mkNat (mkA "dāņu") (mkPN "Dānija") ; + Dutch = mkNat (mkA "holandiešu") (mkPN "Nīderlande") ; + English = mkNat (mkA "angļu") (mkPN "Anglija") ; + Finnish = mkNat (mkA "somu") (mkPN "Somija") ; + Flemish = mkLang (mkA "flāmu") ; + French = mkNat (mkA "franču") (mkPN "Francija") ; + German = mkNat (mkA "vācu") (mkPN "Vācija") ; + Italian = mkNat (mkA "itāļu") (mkPN "Itālija") ; + Norwegian = mkNat (mkA "norvēģu") (mkPN "Norvēģija") ; + Polish = mkNat (mkA "poļu") (mkPN "Polija") ; + Romanian = mkNat (mkA "rumāņu") (mkPN "Rumānija") ; + Russian = mkNat (mkA "krievu") (mkPN "Krievija") ; + Spanish = mkNat (mkA "spāņu") (mkPN "Spānija") ; + Swedish = mkNat (mkA "zviedru") (mkPN "Zviedrija") ; + + -- Means of transportation + + Bike = mkTransport L.bike_N ; + Bus = mkTransport (mkN "autobuss") ; + Car = mkTransport L.car_N ; + Ferry = mkTransport (mkN "prāmis") ; + Plane = mkTransport L.airplane_N ; + Subway = mkTransport (mkN "metro") ; + Taxi = mkTransport (mkN "taksometrs") ; + Train = mkTransport (mkN "vilciens") ; + Tram = mkTransport (mkN "tramvajs") ; + ByFoot = P.mkAdv "kājām" ; + + -- Actions + + --AHasAge p num = mkCl p.name (mkNP num L.year_N) ; + --AHasAge p num = mkCl p.name (mkVP (mkA "vecs")) ; + + --AHasChildren p num = mkCl p.name have_V2 (mkNP num L.child_N) ; + --AHasRoom p num = mkCl p.name have_V2 (mkNP (mkNP a_Det (mkN "istaba")) (mkNP num (mkN "persona"))) ; + --AHasTable p num = mkCl p.name have_V2 (mkNP (mkNP a_Det (mkN "galdiņš")) (mkNP num (mkN "persona"))) ; + + AHasName p name = mkCl (nameOf p) name ; -- FIXME: Subj[Acc]-V-Obj[Nom] would be a better pattern ("mani sauc NN") + AHungry p = mkCl p.name (mkA (mkV "izsalkt" "izsalkstu" "izsalku")) ; + AIll p = mkCl p.name (mkA "slims") ; + AKnow p = mkCl p.name (mkV "zināt" third_conjugation) ; + ALike p item = mkCl p.name (mkV2 (mkV "mīlēt" third_conjugation) acc_Prep) item ; -- FIXME: Subj[Dat]-"garšo"-Obj[Nom] ("man garšo pica") + ALive p co = mkCl p.name (mkVP (mkVP (mkV "dzīvot" second_conjugation)) (SyntaxLav.mkAdv in_Prep co)) ; + ALove p q = mkCl p.name L.love_V2 q.name ; + AMarried p = mkCl p.name (mkA (mkV "precēties" third_conjugation)) ; + AReady p = mkCl p.name (mkA "gatavs") ; + AScared p = mkCl p.name (mkA (mkV "nobīties" "nobīstos" "nobijos")) ; + ASpeak p lang = mkCl p.name (mkV2 (mkV "runāt" second_conjugation) loc_Prep) lang ; + AThirsty p = mkCl p.name (mkA (mkV "izslāpt" "izslāpstu" "izslāpu")) ; + ATired p = mkCl p.name (mkA (mkV "nogurt" "nogurstu" "noguru")) ; + AUnderstand p = mkCl p.name (mkV "saprast" "saprotu" "sapratu") ; + AWant p obj = mkCl p.name (mkV2 (mkV "vēlēties" third_conjugation) acc_Prep) obj ; + AWantGo p place = mkCl p.name (mkV "vēlēties" third_conjugation) (mkVP (mkVP (mkV "doties" "dodos" "devos")) place.to) ; + + -- Miscellaneous + + QWhatName p = mkQS (mkQCl whatSg_IP (mkVP (nameOf p))) ; + QWhatAge p = mkQS (mkQCl (mkIP how8many_IDet L.year_N) p.name); + HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "maksāt" second_conjugation))) ; + ItCost item price = mkCl item (mkV2 (mkV "maksāt" second_conjugation) nom_Prep) price ; + + 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) ; + + -- Building phrases from strings is complicated: the solution is to use + -- mkText : Text -> Text -> Text ; + PSeeYouDate d = mkText (lin Text (ss ("uz tikšanos"))) (mkPhrase (mkUtt d)) ; + PSeeYouPlace p = mkText (lin Text (ss ("uz tikšanos"))) (mkPhrase (mkUtt p.at)) ; + PSeeYouPlaceDate p d = mkText (lin Text (ss ("uz tikšanos"))) (mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ; + -- Relations are expressed as "my wife" or "my son's wife", as defined by $xOf$ + -- below. Languages without productive genitives must use an equivalent of + -- "the wife of my son" for non-pronouns. + Wife = xOf sing (mkN "sieva") ; + Husband = xOf sing (mkN "vīrs") ; + Son = xOf sing (mkN "dēls") ; + Daughter = xOf sing (mkN "meita") ; + Children = xOf plur L.child_N ; + + -- week days + + Monday = mkDay "pirmdiena" ; + Tuesday = mkDay "otrdiena" ; + Wednesday = mkDay "trešdiena" ; + Thursday = mkDay "ceturtdiena" ; + Friday = mkDay "piektdiena" ; + Saturday = mkDay "sestdiena" ; + Sunday = mkDay "svētdiena" ; + + Tomorrow = P.mkAdv "rīt" ; + + -- modifiers of places + TheBest = mkSuperl L.good_A ; + TheClosest = mkSuperl L.near_A ; + TheCheapest = mkSuperl (mkA "lēts") ; + TheMostExpensive = mkSuperl (mkA "dārgs") ; + TheMostPopular = mkSuperl (mkA "populārs") ; + TheWorst = mkSuperl L.bad_A ; + SuperlPlace sup p = placeNP sup p ; + + -- transports + HowFar place = mkQS (mkQCl far_IAdv place.name) ; + HowFarFrom x y = mkQS (mkQCl far_IAdv (mkCl y.name (SyntaxLav.mkAdv from_Prep x.name))) ; + HowFarFromBy x y t = mkQS (mkQCl far_IAdv (mkCl y.name (SyntaxLav.mkAdv from_Prep (mkNP x.name t)))) ; + HowFarBy y t = mkQS (mkQCl far_IAdv (mkCl y.name t)) ; + WhichTranspPlace trans place = mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ; + IsTranspPlace trans place = mkQS (mkQCl (mkCl (mkCN trans.name place.to))) ; + + oper + mkLang : A -> NP = \la -> + mkNP (mkCN la (mkN "valoda")) ; + + mkNat : A -> PN -> NPNationality = \la,co -> + mkNPNationality (mkLang la) (mkNP co) la ; + + mkDay : Str -> NPDay = \d -> + let day : NP = mkNP (mkPN d) in + mkNPDay day + (SyntaxLav.mkAdv in_Prep day) + (SyntaxLav.mkAdv in_Prep (mkNP a_Quant plNum (mkCN (mkN d)))) ; + + --mkCompoundPlace : Str -> Str -> Prep -> { + -- name : CN ; + -- at : Prep ; + -- to : Prep ; + -- isPl : Bool + --} = \comp,p,i -> mkCNPlace (mkCN (P.mkN comp (mkN p))) i to_Prep ; + + mkPlace : Str -> Prep -> {name : CN ; at : Prep ; to : Prep ; isPl : Bool} = \p,i -> + mkCNPlace (mkCN (mkN p)) i to8uz_Prep ; + + open_A = P.mkA "atvērts" ; + + closed_A = P.mkA "slēgts" ; + + xOf : GNumber -> N -> NPPerson -> NPPerson = \n,x,p -> + relativePerson n (mkCN x) (\a,b,c -> mkNP (GenNP b) a c) p ; + + nameOf : NPPerson -> NP = \p -> + (xOf sing (mkN "vārds") p).name ; + + mkTransport : N -> { + name : CN ; + by : Adv + } = \n -> { + name = mkCN n ; + by = SyntaxLav.mkAdv by8means_Prep (mkNP n) + } ; + + mkSuperl : A -> Det = \a -> + SyntaxLav.mkDet the_Art (SyntaxLav.mkOrd a) ; + + far_IAdv = ExtraLav.IAdvAdv (ss "tālu") ; + +-------------------------------------------------- +-- New 30/11/2011 AR +-------------------------------------------------- + + lin + Thai = mkNat (mkA "taizemiešu") (mkPN "Taizeme") ; + Baht = mkCN (mkN "bats") ; + Rice = mkCN (mkN "rīss") ; + Pork = mkCN (mkN "cūkgaļa") ; + Beef = mkCN (mkN "liellops") ; + Egg = mkCN L.egg_N ; + Noodles = mkCN (mkN "nūdele") ; + Shrimps = mkCN (mkN "garnele") ; + Chili = mkCN (mkN "čili") ; + Garlic = mkCN (mkN "ķiploks") ; + Durian = mkCN (mkN "durians") ; + Mango = mkCN (mkN "mango") ; + Pineapple = mkCN (mkN "ananass") ; + Coke = mkCN (mkN "kola") ; + IceCream = mkCN (mkN "saldējums") ; + Salad = mkCN (mkN "salāts") ; + OrangeJuice = mkCN (mkA "apelsīnu") (mkN "sula") ; + Lemonade = mkCN (mkN "limonāde") ; + Beach = mkPlace "pludmale" in_Prep ; + ItsRaining = mkCl (progressiveVP (mkVP L.rain_V0)) ; + ItsCold = mkCl (mkVP L.cold_A) ; + ItsWarm = mkCl (mkVP L.warm_A) ; + ItsWindy = mkCl (mkVP (P.mkA "vējains")) ; + SunShine = mkCl (mkNP the_Det L.sun_N) (progressiveVP (mkVP (mkV "spīdēt" third_conjugation))) ; + Smoke = mkVP (P.mkV "smēķēt" second_conjugation) ; + ADoctor = mkProfession (mkN "ārsts") ; + AProfessor = mkProfession (mkN "profesors") ; + ALawyer = mkProfession (mkN "jurists") ; + AEngineer = mkProfession (mkN "inženieris") ; + ATeacher = mkProfession (mkN "skolotājs") ; + ACook = mkProfession (mkN "pavārs") ; + AStudent = mkProfession (mkN "students") ; + ABusinessman = mkProfession (mkN "uzņēmējs") ; + + oper + mkProfession : N -> NPPerson -> Cl = \n,p -> mkCl p.name n ; + +}