added Sindhi Phrasebook

2026-09-14 14:26:01 -06:00 · 2013-06-15 20:12:48 +00:00
parent 9caa9cd44e
commit 73e68685ef
4 changed files with 357 additions and 0 deletions
@@ -0,0 +1,281 @@
+--2 Implementations of Words, with English as example␍
+␍
+concrete WordsSnd of Words = SentencesSnd ** ␍
+    open ␍
+      SyntaxSnd,␍
+--      CommonHindustani,␍
+      ParadigmsSnd, ␍
+      (L = LexiconSnd), ␍
+      (P = ParadigmsSnd),
+      MorphoSnd,␍
+--      IrregSnd, ␍
+     ExtraSnd, ␍
+      Prelude in {␍
+flags coding = utf8 ;␍
+  lin␍
+␍
+-- Kinds; many of them are in the resource lexicon, others can be built by $mkN$.␍
+␍
+    Apple = mkCN L.apple_N ;␍
+    Beer = mkCN L.beer_N ;␍
+    Bread = mkCN L.bread_N ;␍
+    Cheese = mkCN (mkN03 "پنير") ;␍
+    Chicken = mkCN (mkN04 "ڪڪڙ") ;␍
+    Coffee = mkCN (mkN03 "ڪافي") ;␍
+    Fish = mkCN L.fish_N ;␍
+    Meat = mkCN (mkN03 "گوشت") ;␍
+    Milk = mkCN L.milk_N ;␍
+    Pizza = mkCN (mkN12 "پيزا") ;␍
+    Salt = mkCN L.salt_N ;␍
+    Tea = mkCN (mkN09 "چانھ") ;␍
+    Water = mkCN L.water_N;␍
+    Wine = mkCN L.wine_N ;␍
+␍
+-- Properties; many of them are in the resource lexicon, others can be built by $mkA$.␍
+␍
+    Bad = L.bad_A ;␍
+    Boring = mkA "فضول" ;␍
+    Cheap = mkA "سستو" ;␍
+    Cold = L.cold_A ;␍
+    Delicious = mkA "ذائقيدار" ;␍
+    Expensive = mkA "مهانگو" ;␍
+    Fresh = mkA "تازو" ;␍
+    Good = L.good_A ;␍
+    Suspect = mkA "برو" ;␍
+    Warm = L.warm_A ;␍
+␍
+-- Places require different prepositions to express location; in some languages ␍
+-- also the directional preposition varies, but in English we use $to$, as␍
+-- defined by $mkPlace$.␍
+␍
+    Airport = mkPlace "هوائي اڏو" "تي" ;␍
+--    AmusementPark = mkCompoundPlace "اميوزيم" "پارڪ" "۾" ;␍
+    Bank = mkPlace "بئنڪ" "۾" ;␍
+    Bar = mkPlace "بار" "۾" ;␍
+    Cafeteria = mkPlace "ڪينٽين" "۾" ;␍
+    Center = mkPlace "سينٽر" "تي" ;␍
+    Cinema = mkPlace "سينيما" "۾" ;␍
+    Church = mkPlace "چرچ" "۾" ;␍
+    Disco = mkPlace "ڊسڪو" "۾" ;␍
+    Hospital = mkPlace "اسپتال" "۾" ;␍
+    Hotel = mkPlace "هوٽل" "۾" ;␍
+    Museum = mkPlace "ميوزيم" "۾" ;␍
+    Park = mkPlace "پارڪ" "۾" ;␍
+    Parking = mkCompoundPlace "ڪار" "پارڪ" "۾" ; ␍
+    Pharmacy = mkPlace "ميڊيڪل اسٽور" "تي" ;␍
+    PostOffice = mkCompoundPlace "پوسٽ" "آفيس" "۾" ;␍
+    Pub = mkPlace "پب" "۾" ;␍
+    Restaurant = mkPlace "هوٽل" "۾" ;␍
+    School = mkPlace "اسڪول" "۾" ;␍
+    Shop = mkPlaceFem "دڪان" "۾" Fem;␍
+    Station = mkPlace "اسٽيشن" "تي" ;␍
+    Supermarket = mkPlace "سپر مارڪيٽ" "۾" ; ␍
+    Theatre = mkPlace "ٿيٽر" "۾" ;␍
+    Toilet = mkPlace "ڪاڪوس" "۾" ;␍
+    University = mkPlaceFem "يونيورسٽي" "۾" Fem;␍
+    Zoo = mkPlace "راڻي باغ" "۾" ;␍
+   ␍
+--    CitRestaurant cit = mkCNPlace (mkCN cit (mkN09 "هوٽل")) in_Prep to_Prep ;␍
+␍
+␍
+-- Currencies; $crown$ is ambiguous between Danish and Swedish crowns.␍
+␍
+    DanishCrown = mkCN (mkA "ڊينش") (mkCN (mkN03 "ڪراؤن")) | mkCN (mkN03 "ڪراؤن") ;␍
+    Dollar = mkCN (mkN03 "ڊالر") ;␍
+    Euro = mkCN (mkN12 "يورو") ; -- to prevent euroes␍
+    Lei = mkCN (mkN03 "لي") ;␍
+    Leva = mkCN (mkN12 "ليوا") ;␍
+    NorwegianCrown = mkCN (mkA "نارويجين") (mkCN (mkN03 "ڪراؤن")) | mkCN (mkN03 "ڪراؤن") ;␍
+    Pound = mkCN (mkN03 "پاؤنڊ") ;␍
+    Rouble = mkCN (mkN03 "روبل") ;␍
+    SwedishCrown = mkCN (mkA "سويڊش") (mkCN (mkN03 "ڪراؤن")) | mkCN (mkN03 "ڪراؤن") ;␍
+    Zloty = mkCN (mkN03 "زلوٽي") ;␍
+␍
+-- Nationalities␍
+␍
+    Belgian = mkA "بيلجين" ;␍
+    Belgium = mkNP (mkPN "بيلجيم") ;␍
+    Bulgarian = mkNat "بلغارين" "بلغاريا" ;␍
+--    Catalan = mkNPNationality (mkNP (mkPN "كیٹالان")) (mkNP (mkPN "كاٹالان")) (mkA "كاٹالانین") ;␍
+    Danish = mkNat "ڊينش" "ڊينمارڪ" ;␍
+--    Dutch =  mkNPNationality (mkNP (mkPN "ڊچ")) (mkNP the_Quant (mkN14 "نيدرلئنڊ")) (mkA "ڊچ") ;␍
+    English = mkNat "انگلش" "انگلئنڊ" ;␍
+    Finnish = mkNat "فنش" "فنلئنڊ" ;␍
+    Flemish = mkNP (mkPN "فليمش") ;␍
+    French = mkNat "فرانسيسي" "فرانس" ; ␍
+    German = mkNat "جرمن" "جرمني" ;␍
+    Italian = mkNat "اٽالوي" "اٽلي" ;␍
+    Norwegian = mkNat "نارويجين" "ناروي" ;␍
+    Polish = mkNat "پولش" "پولئنڊ" ;␍
+    Romanian = mkNat "رومانين" "رومانيا" ;␍
+    Russian = mkNat "روسي" "روس" ;␍
+    Spanish = mkNat "سپيني" "سپين" ;␍
+    Swedish = mkNat "سويڊش" "سويڊن" ;␍
+␍
+-- Means of transportation ␍
+ ␍
+   Bike = mkTransport L.bike_N ;␍
+   Bus = mkTransport (mkN09 "بس" ) ;␍
+   Car = mkTransport L.car_N ;␍
+   Ferry = mkTransport (mkN09 "فيري") ;␍
+   Plane = mkTransport L.airplane_N ;␍
+   Subway = mkTransport (mkN12 "سب وي") ;␍
+   Taxi = mkTransport (mkN09 "ٽئڪسي") ;␍
+   Train = mkTransport (mkN09 "ريل گاڏي") ;␍
+   Tram = mkTransport (mkN09 "ٽرام") ;␍
+␍
+   ByFoot = P.mkAdv "پيادو" ;␍
+␍
+-- Actions: the predication patterns are very often language-dependent.␍
+␍
+--    AHasAge p num = mkCl p.name (mkNP (mkNP num L.year_N) (ParadigmsSnd.mkAdv "جو"));␍
+    AHasAge p num = mkCl p.name  (mkNP num (mkCN L.year_N));␍
+    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 (mkN01 "ڪمرو")) (SyntaxSnd.mkAdv for_Prep (mkNP num (mkN03 "شخص")))) ;␍
+--    AHasTable p num = mkCl p.name have_V2 ␍
+ --     (mkNP (mkNP a_Det (mkN04 "ميز")) (SyntaxSnd.mkAdv for_Prep (mkNP num (mkN03 "شخص")))) ;␍
+    AHasName p name = mkCl (nameOf p) name ;␍
+    AHungry p = mkCl p.name (mkA "بکيو") ;␍
+    AIll p = mkCl p.name (mkA "بيمار") ;␍
+    AKnow p = mkCl p.name (mkV "ڄاڻڻ") ;␍
+    ALike p item = mkCl p.name (L.like_V2) item ;␍
+    ALive p co = mkCl p.name (mkVP (mkVP (L.live_V)) (SyntaxSnd.mkAdv in_Prep co)) ;␍
+    ALove p q = mkCl p.name (L.love_V2) q.name ;␍
+    AMarried p = mkCl p.name (mkA "پرڻيل") ;␍
+    AReady p = mkCl p.name (mkA "تيار") ;␍
+    AScared p = mkCl p.name (P.mkA "ڊنل") ;␍
+    ASpeak p lang = mkCl p.name  L.speak_V2 lang ;␍
+    AThirsty p = mkCl p.name (mkA "اُڃيو") ;␍
+    ATired p = mkCl p.name (P.mkA "ٿڪل") ;␍
+    AUnderstand p = mkCl p.name (mkV "سمجھڻ") ;␍
+    AWant p obj = mkCl p.name (mkV2 (mkV "چاهڻ")) obj ;␍
+--    AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.name) ;␍
+--    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))) ;␍
+    QWhatName p = mkQS (mkQCl what_IAdv (SyntaxSnd.mkNP p.poss (mkCN (mkN01 "نالو")))) ;␍
+--    QWhatAge p = mkQS (mkQCl (mkCl (mkNP (modQuant p.poss)) (mkAdv "ڄمار"))) ;␍
+    QWhatAge p = mkQS (mkQCl howMuch_IAdv (mkNP (modQuant p.poss) (mkCN (mkN09 "ڄمار")))) ; ␍
+    HowMuchCost item = mkQS (mkQCl (mkCl (modNP item) (mkAdv ["جو ملھ"]))) ;␍
+--    HowMuchCost item = mkQS (mkQCl howMuch_IAdv (mkNP cost_Predet (modNP item))) ;␍
+    ItCost item price = mkCl item (mkV2 (mkV "ملھ")) price ;␍
+␍
+    PropOpen p = mkCl p.name open_Adv ;␍
+    PropClosed p = mkCl p.name closed_Adv ;␍
+    PropOpenDate p d = mkCl p.name (mkVP (mkVP d) open_Adv) ; ␍
+    PropClosedDate p d = mkCl p.name (mkVP (mkVP d) closed_Adv) ; ␍
+    PropOpenDay p d = mkCl p.name (mkVP (mkVP  d.habitual) open_Adv); ␍
+    PropClosedDay p d = mkCl p.name (mkVP (mkVP d.habitual) closed_Adv) ; ␍
+␍
+-- Building phrases from strings is complicated: the solution is to use␍
+-- mkText : Text -> Text -> Text ;␍
+␍
+    PSeeYouDate d = mkText (mkPhrase (mkUtt d)) (lin Text (Prelude.ss ("ملون ٿا")))  ;␍
+    PSeeYouPlace p = mkText (mkPhrase (mkUtt p.at)) (lin Text (Prelude.ss ("ملون ٿا")))  ;␍
+    PSeeYouPlaceDate p d = ␍
+      mkText (mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d)))␍
+       (lin Text (Prelude.ss ("ملون ٿا"))) ;␍
+␍
+-- Relations are expressed as "می وiفع" or "می سon'س وiفع", as defined by $xOf$␍
+-- below. Languages without productive genitives must use an equivalent of␍
+-- "تہع وiفع oف می سoن" for non-pronouns.␍
+␍
+    Wife = xOf ssing (mkN04 "زال") ;␍
+    Husband = xOf ssing (mkN03 "مڙس") ;␍
+    Son = xOf ssing (mkN03 "پٽ") ;␍
+    Daughter = xOf ssing (mkN07 "ڌي") ;␍
+    Children = xOf plur L.child_N ;␍
+␍
+-- week days␍
+␍
+    Monday = mkDay "سومر" ;␍
+    Tuesday = mkDay "اڱارو" ;␍
+    Wednesday = mkDay "اربع" ;␍
+    Thursday = mkDay "خميس" ;␍
+    Friday = mkDay "جمعو" ;␍
+    Saturday = mkDay "ڇنڇر" ;␍
+    Sunday = mkDay "آچر" ;␍
+ ␍
+    Tomorrow = P.mkAdv "سڀاڻي" ;␍
+␍
+-- modifiers of places␍
+␍
+    TheBest = mkSuperl L.good_A ;␍
+    TheClosest = mkSuperl L.near_A ; ␍
+    TheCheapest = mkSuperl (mkA "سستو") ;␍
+    TheMostExpensive = mkSuperl (mkA "مهانگو") ;␍
+    TheMostPopular = mkSuperl (mkA "مشهور") ;␍
+    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 (mkNP y.name (SyntaxSnd.mkAdv from_Prep x.name))) ;␍
+    HowFarFromBy x y t = ␍
+      mkQS (mkQCl far_IAdv (mkNP (mkNP y.name (SyntaxSnd.mkAdv from_Prep x.name)) t)) ;␍
+    HowFarBy y t = mkQS (mkQCl far_IAdv (mkNP y.name t)) ;␍
+ ␍
+--    WhichTranspPlace trans place = ␍
+--      mkQS (mkQCl (SyntaxSnd.mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;␍
+␍
+    IsTranspPlace trans place =␍
+      mkQS (mkQCl (mkCl (mkCN trans.name place.to))) ;␍
+␍
+␍
+␍
+-- auxiliaries␍
+␍
+  oper␍
+␍
+    mkNat : Str -> Str -> NPNationality = \nat,co -> ␍
+      mkNPNationality (mkNP (mkPN nat)) (mkNP (mkPN co)) (mkA nat) ;␍
+␍
+    mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->␍
+--      let day = mkNP (mkPN d) in␍
+--       let day = (mkNP (mkCN (mkN14 d))) in␍
+      mkNPDay (mkNP (mkCN (mkN14 d))) (SyntaxSnd.mkAdv to_Prep (mkNP (mkCN (mkN14 d)))) ␍
+        (SyntaxSnd.mkAdv to_Prep (mkNP (mkCN (mkN14 d)))) ; --changed from plNum to sgNum␍
+    ␍
+    mkCompoundPlace : Str -> Str -> Str -> {name : CN ; at : Prep ; to : Prep; isPl : Bool} = \comp, p, i ->␍
+--     mkCNPlace (mkCN (mkN14 comp (mkN14 p))) (P.mkPrep i) to_Prep ;␍
+      mkCNPlace (mkCN (mkN14 (comp++p))) (P.mkPrep i) to_Prep ;␍
+␍
+    mkPlace : Str -> Str -> {name : CN ; at : Prep ; to : Prep; isPl : Bool} = \p,i -> ␍
+      mkCNPlace (mkCN (mkN14 p)) (P.mkPrep i) to_Prep ;␍
+    mkPlaceFem : Str -> Str -> Gender -> {name : CN ; at : Prep ; to : Prep; isPl : Bool} = \p,i,g -> ␍
+      mkCNPlace (mkCN (mkN14 p)) (P.mkPrep i) to_Prep ;  ␍
+␍
+    open_Adv = mkAdv  "کلي";␍
+    closed_Adv = mkAdv "بند" ;␍
+␍
+    xOf : SentencesSnd.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 ssing (mkN01 "نالو") p).name ;␍
+    ssing = False ;␍
+␍
+    mkTransport : N -> {name : CN ; by : Adv} = \n -> {␍
+      name = mkCN n ; ␍
+      by = SyntaxSnd.mkAdv by8means_Prep (mkNP n)␍
+      } ;␍
+␍
+--    mkSuperl : A -> Det = \a -> SyntaxSnd.mkDet the_Art (SyntaxSnd.mkOrd a) ;␍
+      mkSuperl : A -> Det = \a -> lin Det { s = \\n,g => a.s ! n ! g ! Dir ; n = Sg } ;␍
+    ␍
+   far_IAdv = ExtraSnd.IAdvAdv (mkAdv "پري") ;␍
+   what_IAdv = lin IAdv {s = "ڇا"} ;␍
+   howMuch_IAdv = lin IAdv {s = "ڪيترو"} ;␍
+-- cost_Predet = lin Predet {s = ["جو ملھ"]} ;␍
+-------------------␍
+modN : N -> N = \noun -> lin N {s = \\n,c =>noun.s!n!c++"جو" ; g =noun.g} ;␍
+modQuant : Quant -> Quant = \q -> lin Quant {s = \\n,g,c => q.s ! n ! Fem ! c ; a = q.a};␍
+modNP : NP -> NP = \np -> lin NP {s = \\_ => np.s ! NPC Obl  ; a = np.a ; isPron = np.isPron};␍
+␍
+}␍