summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--examples/phrasebook/GreetingsJpn.gf49
-rw-r--r--examples/phrasebook/SentencesJpn.gf48
-rw-r--r--examples/phrasebook/WordsJpn.gf422
3 files changed, 308 insertions, 211 deletions
diff --git a/examples/phrasebook/GreetingsJpn.gf b/examples/phrasebook/GreetingsJpn.gf
index a8ddfb224..ca68697c5 100644
--- a/examples/phrasebook/GreetingsJpn.gf
+++ b/examples/phrasebook/GreetingsJpn.gf
@@ -1,27 +1,30 @@
concrete GreetingsJpn of Greetings = SentencesJpn [Greeting,mkGreeting] ** open Prelude in {
+flags coding = utf8 ;
+
lin
- GBye = mkGreeting "bye" ;
- GCheers = mkGreeting "cheers" ;
- GDamn = mkGreeting "damn" ;
- GExcuse, GExcusePol = mkGreeting "excuse me" ;
- GGoodDay = mkGreeting "good afternoon" ; ----
- GGoodEvening = mkGreeting "good evening" ;
- GGoodMorning = mkGreeting "good morning" ;
- GGoodNight = mkGreeting "good night" ;
- GGoodbye = mkGreeting "goodbye" ;
- GHello = mkGreeting "hello" ;
- GHelp = mkGreeting "help" ;
- GHowAreYou = mkGreeting "how are you" ;
- GLookOut = mkGreeting "look out" ;
- GNiceToMeetYou, GNiceToMeetYouPol = mkGreeting "nice to meet you" ;
- GPleaseGive, GPleaseGivePol = mkGreeting "please" ;
- GSeeYouSoon = mkGreeting "see you soon" ;
- GSorry, GSorryPol = mkGreeting "sorry" ;
- GThanks = mkGreeting "thank you" ;
- GTheCheck = mkGreeting "the bill" ;
- GCongratulations = mkGreeting "congratulations";
- GHappyBirthday = mkGreeting "happy birthday" ;
- GGoodLuck = mkGreeting "good luck" ;
- GWhatTime = mkGreeting "what time is it" | mkGreeting "what is the time" ;
+ GBye = mkGreeting "バイ" ;
+ GCheers = mkGreeting "かんぱい" ;
+ GDamn = mkGreeting "くそ" ;
+ GExcuse, GExcusePol = mkGreeting "すみません" ;
+ GGoodDay, GHello = mkGreeting "こんにちは" ; ----
+ GGoodEvening = mkGreeting "こんばんは" ;
+ GGoodMorning = mkGreeting "おはようございます" ;
+ GGoodNight = mkGreeting "おやすみなさい" ;
+ GGoodbye = mkGreeting "さようなら" ;
+ GHelp = mkGreeting "助けて" ;
+ GHowAreYou = mkGreeting "お元気ですか" ;
+ GLookOut = mkGreeting "危ない" ;
+ GNiceToMeetYou = mkGreeting "初めまして" ;
+ GPleaseGive = mkGreeting "ください" ;
+ GPleaseGivePol = mkGreeting "お願いします" ;
+ GSeeYouSoon = mkGreeting "またね" ;
+ GSorry = mkGreeting "ごめんなさい" ;
+ GSorryPol = mkGreeting "申し訳ありません" ;
+ GThanks = mkGreeting "ありがとう" ;
+ GTheCheck = mkGreeting "会計" ;
+ GCongratulations = mkGreeting "お目出度うご座います";
+ GHappyBirthday = mkGreeting "お誕生日おめでとうございます" ;
+ GGoodLuck = mkGreeting "がんばってください" ;
+ GWhatTime = mkGreeting "今何時ですか" ;
}
diff --git a/examples/phrasebook/SentencesJpn.gf b/examples/phrasebook/SentencesJpn.gf
index bc3605fbd..4fdaf5fb5 100644
--- a/examples/phrasebook/SentencesJpn.gf
+++ b/examples/phrasebook/SentencesJpn.gf
@@ -3,27 +3,42 @@ concrete SentencesJpn of Sentences = NumeralJpn **
VDrink,VEat,VRead,VWait,VWrite,
phrasePlease, mkSentence, mkPhrase,
NameNN,
- PSentence, PQuestion, GObjectPlease
-
+ PSentence, PQuestion, GObjectPlease,
+ ACitizen, Citizenship, CitiNat, Nationality, NPNationality, mkNPNationality, PropCit, PCitizenship
]
with
(Syntax = SyntaxJpn),
-- (Symbolic = SymbolicJpn),
(Lexicon = LexiconJpn) ** open SyntaxJpn, ParadigmsJpn in {
+flags coding = utf8 ;
+
+lincat
+
+ Citizenship = NPCitizenship ;
+ Nationality = NPNationality ;
+
lin
- VDrink = v2toVP drink_V2 ;
- VEat = v2toVP eat_V2 ;
- VRead = v2toVP read_V2 ;
- VWait = v2toVP wait_V2 ;
- VWrite = v2toVP write_V2 ;
+ VDrink = v2toVP drink_V2 ;
+ VEat = v2toVP eat_V2 ;
+ VRead = v2toVP read_V2 ;
+ VWait = v2toVP wait_V2 ;
+ VWrite = v2toVP write_V2 ;
+
+ NameNN = mkNP (mkPN "NN") ;
- NameNN = mkNP (mkPN "NN") ;
+ PSentence s = mkText (mkPhr (mkUtt s)) | lin Text (mkPhr (mkUtt s)) ; -- optional '.'
+ PQuestion s = mkText (mkPhr (mkUtt s)) | lin Text (mkPhr (mkUtt s)) ; -- optional '?'
- PSentence s = mkText (mkPhr (mkUtt s)) | lin Text (mkPhr (mkUtt s)) ; -- optional '.'
- PQuestion s = mkText (mkPhr (mkUtt s)) | lin Text (mkPhr (mkUtt s)) ; -- optional '?'
+ GObjectPlease o = lin Text (mkPhr noPConj (mkUtt o) please_Voc) | lin Text (mkPhr (mkUtt o)) ;
- GObjectPlease o = lin Text (mkPhr noPConj (mkUtt o) please_Voc) | lin Text (mkPhr (mkUtt o)) ;
+ ACitizen p n = mkCl p.name n.citizenship ;
+
+ CitiNat n = {prop = n.prop ; citizenship = n.citizenship} ;
+
+ PropCit c = c.prop ;
+
+ PCitizenship x = mkPhrase (mkUtt x.citizenship) ;
oper
v2toVP : V2 -> VP = \v2 -> mkVP <lin V (v2 ** {needSubject = True}) : V> ;
@@ -32,5 +47,16 @@ oper
mkPhrase : Utt -> Text = \u -> lin Text (mkPhr u) ; -- no punctuation
mkSentence : Utt -> Text = \t -> lin Text (postfixSS "." (mkPhr t) | (mkPhr t)) ; -- optional .
+
+ NPCitizenship : Type = {prop : A ; citizenship : NP} ;
+
+ NPNationality : Type = NPCitizenship ** {lang : NP ; country : NP} ;
+
+ mkNPNationality : NP -> NP -> A -> NP -> NPNationality = \la,co,pro,ci ->
+ {lang = la ;
+ country = co ;
+ prop = pro ;
+ citizenship = ci
+ } ;
}
diff --git a/examples/phrasebook/WordsJpn.gf b/examples/phrasebook/WordsJpn.gf
index 134da8aaa..6cc406a45 100644
--- a/examples/phrasebook/WordsJpn.gf
+++ b/examples/phrasebook/WordsJpn.gf
@@ -5,10 +5,14 @@ concrete WordsJpn of Words = SentencesJpn **
SyntaxJpn,
ParadigmsJpn,
(L = LexiconJpn),
- (P = ParadigmsJpn),
+ (P = ParadigmsJpn),
+ (R = ResJpn),
-- IrregJpn,
ExtraJpn,
Prelude in {
+
+flags coding = utf8 ;
+
lin
-- Kinds; many of them are in the resource lexicon, others can be built by $mkN$.
@@ -16,212 +20,220 @@ concrete WordsJpn of Words = SentencesJpn **
Apple = mkCN L.apple_N ;
Beer = mkCN L.beer_N ;
Bread = mkCN L.bread_N ;
- Cheese = mkCN (mkN "cheese") ;
- Chicken = mkCN (mkN "chicken") ;
- Coffee = mkCN (mkN "coffee") ;
+ Cheese = mkCN (mkN "チーズ" R.Inanim) ; -- "chiizu"
+ Chicken = mkCN (mkN "鶏" R.Inanim "切れ" False) ; -- "tori" "kire"
+ Coffee = mkCN (mkN "コーヒー" R.Inanim "杯" False) ; -- "koohi" "hai" (cups of)
Fish = mkCN L.fish_N ;
- Meat = mkCN (mkN "meat") ;
+ Meat = mkCN (mkN "肉" R.Inanim "切れ" False) ; -- "niku" "kire"
Milk = mkCN L.milk_N ;
- Pizza = mkCN (mkN "pizza") ;
+ Pizza = mkCN (mkN "ピザ" R.Inanim "枚" False) ; -- "piza" "mai" (smth flat)
Salt = mkCN L.salt_N ;
- Tea = mkCN (mkN "tea") ;
+ Tea = mkCN (mkN "お茶" R.Inanim "杯" False) ; -- "ocha" "hai" (cups of)
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 "boring" ;
--- Cheap = mkA "cheap" ;
+ Boring = mkA "つまらない" ;
+ Cheap = mkA "安い" ; -- "yasui"
Cold = L.cold_A ;
--- Delicious = mkA "delicious" ;
--- Expensive = mkA "expensive" ;
--- Fresh = mkA "fresh" ;
+ Delicious = mkA "美味しい" ; -- "oishii"
+ Expensive = mkA "高い" ; -- "takai"
+ Fresh = mkA "新鮮な" ; -- "shinsenna"
Good = L.good_A ;
--- Suspect = mkA "suspect" ;
+ Suspect = mkA "怪しい" ; -- "ayashii"
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 "airport" "at" ;
- AmusementPark = mkCompoundPlace "amusement" "park" "at" ;
- Bank = mkPlace "bank" "at" ;
- Bar = mkPlace "bar" "in" ;
- Cafeteria = mkPlace "canteen" "in" ;
- Center = mkPlace "center" "in" ;
- Cinema = mkPlace "cinema" "at" ;
- Church = mkPlace "church" "in" ;
- Disco = mkPlace "disco" "at" ;
- Hospital = mkPlace "hospital" "in" ;
- Hotel = mkPlace "hotel" "in" ;
- Museum = mkPlace "museum" "at" ;
- Park = mkPlace "park" "in" ;
- Parking = mkCompoundPlace "car" "park" "in" ;
- Pharmacy = mkPlace "pharmacy" "at" ;
- PostOffice = mkCompoundPlace "post" "office" "at" ;
- Pub = mkPlace "pub" "at" ;
- Restaurant = mkPlace "restaurant" "in" ;
- School = mkPlace "school" "at" ;
- Shop = mkPlace "shop" "at" ;
- Station = mkPlace "station" "at" ;
- Supermarket = mkPlace "supermarket" "at" ;
- Theatre = mkPlace "theatre" "at" ;
- Toilet = mkPlace "toilet" "in" ;
- University = mkPlace "university" "at" ;
- Zoo = mkPlace "zoo" "at" ;
+ Airport = mkPlace "空港" "で" ; -- "kuukou" "de"
+ AmusementPark = mkPlace "遊園地" "で" ; -- "yuuenchi" "de"
+ Bank = mkPlace "銀行" "で" ; -- "ginkou" "de"
+ Bar = mkPlace "バー" "で" ; -- "baa" "de"
+ Cafeteria = mkPlace "食堂" "で" ; -- "shokudou" "de"
+ Center = mkPlace "センター" "で" ; -- "sentaa" "de"
+ Cinema = mkPlace "映画館" "で" ; -- "eigakan" "de"
+ Church = mkPlace "教会" "で" ; -- "kyoukai" "de"
+ Disco = mkPlace "ディスコ" "で" ; -- "disuko" "de"
+ Hospital = mkPlace "病院" "で" ; -- "byouin" "de"
+ Hotel = mkPlace "ホテル" "で" ; -- "hoteru" "de"
+ Museum = mkPlace "博物館" "で" ; -- "hakubutsukan" "de"
+ Park = mkPlace "公園" "で" ; -- "kouen" "de"
+ Parking = mkPlace "駐車場" "で" ; -- "chuushajou" "de"
+ Pharmacy = mkPlace "薬局" "で" ; -- "kyoukai" "de"
+ PostOffice = mkPlace "郵便局" "で" ; -- "yuubinkyoku" "de"
+ Pub = mkPlace "パブ" "で" ; -- "pabu" "de"
+ Restaurant = mkPlace "レストラン" "で" ; -- "resutoran" "de"
+ School = mkPlace "学校" "で" ; -- "gakkou" "de"
+ Shop = mkPlace "商店" "で" ; -- "mise" "de"
+ Station = mkPlace "駅" "で" ; -- "eki" "de"
+ Supermarket = mkPlace "スーパー" "で" ; -- "suupaa" "de"
+ Theatre = mkPlace "劇場" "で" ; -- "gekijou" "de"
+ Toilet = mkPlace "お手洗い" "で" ; -- "otearai" "de"
+ University = mkPlace "大学" "で" ; -- "daigaku" "de"
+ Zoo = mkPlace "動物園" "で" ; -- "doubutsuen" "de"
- CitRestaurant cit = mkCNPlace (mkCN cit (mkN "restaurant")) in_Prep to_Prep ;
+ CitRestaurant cit = mkCNPlace (mkCN cit.prop (mkN "レストラン")) in_Prep to_Prep ; -- "resutoran"
-- Currencies; $crown$ is ambiguous between Danish and Swedish crowns.
----- DanishCrown = mkCN (mkA "Danish") (mkN "crown") | mkCN (mkN "crown") ;
- Dollar = mkCN (mkN "dollar") ;
- Euro = mkCN (mkN "euro") ; -- to prevent euroes
- Lei = mkCN (mkN "leu") ;
- Leva = mkCN (mkN "lev") ;
----- NorwegianCrown = mkCN (mkA "Norwegian") (mkN "crown") | mkCN (mkN "crown") ;
- Pound = mkCN (mkN "pound") ;
- Rouble = mkCN (mkN "rouble") ;
- Rupee = mkCN (mkN "rupee") ;
----- SwedishCrown = mkCN (mkA "Swedish") (mkN "crown") | mkCN (mkN "crown") ;
- Zloty = mkCN (mkN "zloty") ;
- Yuan = mkCN (mkN "yuan") ;
+ DanishCrown = mkCur "デンマーク・クローネ" | mkCur "クローナ" ; -- "denmaaku kuroune"
+ Dollar = mkCur "ドル" ; -- "doru"
+ Euro = mkCur "ユーロ" ; -- "yuuro"
+ Lei = mkCur "レウ" ; -- "reu"
+ Leva = mkCur "レフ" ; -- "refu"
+ NorwegianCrown = mkCur "ノルウェー・クローネ" | mkCur "クローナ" ; -- "noruwee kuroune"
+ Pound = mkCur "ポンド" ; -- "pondo"
+ Rouble = mkCur "ルーブル" ; -- "ruuburu"
+ Rupee = mkCur "ルピ" ; -- "rupii"
+ SwedishCrown = mkCur "スウェーデン・クローナ" | mkCur "クローナ" ; -- "Suu~eeden kurouna"
+ Zloty = mkCur "ズロティ" ; -- "zuroti"
+ Yuan = mkCur "元" ; -- "gen"
-- Nationalities
--- Belgian = mkA "Belgian" ;
- Belgium = mkNP (mkPN "Belgium") ;
- Bulgarian = mkNat "Bulgarian" "Bulgaria" ;
----- Catalan = mkNPNationality (mkNP (mkPN "Catalan")) (mkNP (mkPN "Catalonia")) (mkA "Catalonian") ;
- Chinese = mkNat "Chinese" "China" ;
- Danish = mkNat "Danish" "Denmark" ;
----- Dutch = mkNPNationality (mkNP (mkPN "Dutch")) (mkNP the_Quant (mkN "Netherlands")) (mkA "Dutch") ;
- English = mkNat "English" "England" ;
- Finnish = mkNat "Finnish" "Finland" ;
- Flemish = mkNP (mkPN "Flemish") ;
- French = mkNat "French" "France" ;
- German = mkNat "German" "Germany" ;
- Hindi = mkNP (mkPN "Hindi") ;
- India = mkNP (mkPN "India") ;
----- Indian = mkA "Indian" ;
- Italian = mkNat "Italian" "Italy" ;
- Norwegian = mkNat "Norwegian" "Norway" ;
- Polish = mkNat "Polish" "Poland" ;
- Romanian = mkNat "Romanian" "Romania" ;
- Russian = mkNat "Russian" "Russia" ;
- Spanish = mkNat "Spanish" "Spain" ;
- Swedish = mkNat "Swedish" "Sweden" ;
+ Belgian = {prop = mkA "ベルギー の" ; citizenship = mkNP (mkN "ベルギー 人")} ; -- "berugii no"
+ Belgium = mkNP (mkPN "ベルギー") ; -- "berugii"
+ Bulgarian = mkNat "ブルガリア" ; -- "burugaria"
+ Catalan = mkNat "カタロニア" ; -- "kataronia"
+ Chinese = mkNat"中国" ; -- "chuugoku"
+ Danish = mkNat "デンマーク" ; -- "denmaaku"
+ Dutch = mkNat "オランダ" ; -- "oranda"
+ English = mkNPNationality (mkNP (mkPN "英語")) (mkNP (mkPN "イギリス")) -- "eigo"
+ (mkA "イギリスの") (mkNP (mkPN "イギリス人")) ;
+ Finnish = mkNat "フィンランド" ; -- "finrando"
+ Flemish = mkNP (mkPN "フラマン 語") ; -- "furaman go"
+ French = mkNat "フランス" ; -- "furansu"
+ German = mkNat "ドイツ" ; -- "doitsu"
+ Hindi = mkNP (mkPN "ヒンディー語") ; -- "hindii"
+ India = mkNP (mkPN "インド") ; -- "indo"
+ Indian = {prop = mkA "インドの" ; citizenship = mkNP (mkN "インド人")} ; -- "indo no"
+ Italian = mkNat "イタリア" ; -- "itaria"
+ Norwegian = mkNat "ノルウェー" ; -- "noruwee"
+ Polish = mkNat "ポーランド" ; -- "porando"
+ Romanian = mkNat "ルーマニア" ; -- "ruumania"
+ Russian = mkNat "ロシア" ; -- "roshia"
+ Spanish = mkNat "スペイン" ; -- "supein"
+ Swedish = mkNat "スウェーデン" ; -- "suweeden"
-- Means of transportation
Bike = mkTransport L.bike_N ;
- Bus = mkTransport (mkN "bus") ;
+ Bus = mkTransport (mkN "バス") ; -- "basu"
Car = mkTransport L.car_N ;
- Ferry = mkTransport (mkN "ferry") ;
+ Ferry = mkTransport (mkN "フェリー") ; -- "ferii"
Plane = mkTransport L.airplane_N ;
- Subway = mkTransport (mkN "subway") ;
- Taxi = mkTransport (mkN "taxi") ;
- Train = mkTransport (mkN "train") ;
- Tram = mkTransport (mkN "tram") ;
+ Subway = mkTransport (mkN "地下鉄") ; -- "chikatetsu"
+ Taxi = mkTransport (mkN "タクシー") ; -- "takushii"
+ Train = mkTransport (mkN "電車") ; -- "densha"
+ Tram = mkTransport (mkN "市電") ; -- "shiden"
- ByFoot = P.mkAdv "by foot" ;
+ ByFoot = P.mkAdv "徒歩で" ; -- "toho de"
-- Actions: the predication patterns are very often language-dependent.
- AHasAge p num = mkCl p.name (mkNP (mkNP num L.year_N) (ParadigmsJpn.mkAdv "old"));
- AHasChildren p num = mkCl p.name have_V2 (mkNP num L.child_N) ;
+ AHasAge p num = mkCl p.name (mkNP num (mkNounWOCounter "歳")) ;
+ AHasChildren p num = mkCl p.name (mkV2 "いる" "が" R.Gr2) (mkNP num L.child_N) ;
+ AHasName p name = mkCl (nameOf p) name ;
AHasRoom p num = mkCl p.name have_V2
- (mkNP (mkNP a_Det (mkN "room")) (SyntaxJpn.mkAdv for_Prep (mkNP num (mkN "person")))) ;
+ (mkNP (mkNP a_Det (mkN "部屋")) (SyntaxJpn.mkAdv for_Prep (mkNP num (mkNounWOCounter "人")))) ; -- "heya"
AHasTable p num = mkCl p.name have_V2
- (mkNP (mkNP a_Det (mkN "table")) (SyntaxJpn.mkAdv for_Prep (mkNP num (mkN "person")))) ;
- AHasName p name = mkCl (nameOf p) name ;
--- AHungry p = mkCl p.name (mkA "hungry") ;
--- AIll p = mkCl p.name (mkA "ill") ;
- AKnow p = mkCl p.name (v2toVP L.know_V2) ;
- ALike p item = mkCl p.name L.like_V2 item ;
- ALive p co = mkCl p.name (mkVP (mkVP L.live_V) (SyntaxJpn.mkAdv in_Prep co)) ;
- ALove p q = mkCl p.name L.love_V2 q.name ;
--- AMarried p = mkCl p.name (mkA "married") ;
--- AReady p = mkCl p.name (mkA "ready") ;
--- AScared p = mkCl p.name (mkA "scared") ;
+ (mkNP (mkNP a_Det (mkN "テーブル")) (SyntaxJpn.mkAdv for_Prep (mkNP num (mkNounWOCounter "人")))) ;
+ AHungry p = mkCl p.name (P.mkV "お腹が空いている" R.Gr1) ; -- "onaka ga suite iru"
+ AIll p = mkCl p.name (mkA "病気の") ;
+ AKnow p = mkCl p.name mkKnow ;
+ ALike p item = mkCl p.name (mkA2 "好きな" "が") item ;
+ ALive p co = mkCl p.name (mkVP (mkVP (mkV "住んでいる" R.Gr2)) (SyntaxJpn.mkAdv in_Prep co)) ; -- "sundeiru"
+ ALove p q = mkCl p.name (mkV2 "愛している" "を" R.Gr2) q.name ; -- "aishiteiru"
+ AMarried p = mkCl p.name (mkA "結婚している" "既婚の") ; -- "kekkonshiteiru" "kikonno"
+ AReady p = mkCl p.name L.ready_A ;
+ AScared p = mkCl p.name (mkA "怖い") ;
ASpeak p lang = mkCl p.name L.speak_V2 lang ;
--- AThirsty p = mkCl p.name (mkA "thirsty") ;
--- ATired p = mkCl p.name (mkA "tired") ;
- AUnderstand p = mkCl p.name (v2toVP L.understand_V2) ;
- AWant p obj = mkCl p.name (mkV2 "want") obj ;
+ AThirsty p = mkCl p.name (mkA "喉が乾いている" "渇した") ;
+ -- "nodo ga kawaiteiru" "kasshita"
+ ATired p = mkCl p.name (mkA "疲れている" "疲れた") ;
+ -- "tsukareteiru" "tsukareta"
+ AUnderstand p = case p.name.meaning of {
+ R.SomeoneElse => mkCl p.name (v2toVP L.understand_V2) ;
+ R.Me => mkCl p.name (mkV "分かる" R.Gr1) -- "wakaru"
+ } ;
+ AWant p obj = case (p.name).meaning of {
+ R.Me => mkCl p.name (mkA2 "欲しい" "が") obj ;
+ R.SomeoneElse => mkCl p.name (mkA2 "欲しがっている" "欲しい" "が") obj
+ } ;
AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.to) ;
-- miscellaneous
QWhatName p = mkQS (mkQCl (mkIComp whatSg_IP) (nameOf p)) ;
--- QWhatName p = mkQS (mkQCl whatSg_IP (mkVP (nameOf p))) ;
--- QWhatAge p = mkQS (mkQCl (ICompAP (mkAP L.old_A)) p.name) ;
- HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "cost"))) ;
- ItCost item price = mkCl item (mkV2 "cost") price ;
-
- PropOpen p = mkCl p.name open_Adv ;
- PropClosed p = mkCl p.name closed_Adv ;
- PropOpenDate p d = mkCl p.name (mkVP (mkVP open_Adv) d) ;
- PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_Adv) d) ;
- PropOpenDay p d = mkCl p.name (mkVP (mkVP open_Adv) d.habitual) ;
- PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_Adv) d.habitual) ;
+ QWhatAge p = mkQS (mkQCl howOld_IAdv (mkCl p.name R.mkCopula)) ;
+ HowMuchCost item = mkQS (mkQCl how8much_IAdv (mkCl item (mkV "かかる"))) ;
+ ItCost item price = mkCl item (mkV2 "かかる" "" R.Gr1) price ;
+
+ PropOpen p = mkCl p.name mkOpen ;
+ PropClosed p = mkCl p.name mkClosed ;
+ PropOpenDate p d = mkCl p.name (mkVP (mkVP mkOpen) d) ;
+ PropClosedDate p d = mkCl p.name (mkVP (mkVP mkClosed) d) ;
+ PropOpenDay p d = mkCl p.name (mkVP (mkVP mkOpen) d.habitual) ;
+ PropClosedDay p d = mkCl p.name (mkVP (mkVP mkClosed) d.habitual) ;
-- Building phrases from strings is complicated: the solution is to use
-- mkText : Text -> Text -> Text ;
- PSeeYouDate d = mkText (lin Text (ss ("see you"))) (mkPhrase (mkUtt d)) ;
- PSeeYouPlace p = mkText (lin Text (ss ("see you"))) (mkPhrase (mkUtt p.at)) ;
+ PSeeYouDate d = mkText (mkPhrase (mkUtt d)) (lin Text (ss ("会いましょう"))) ; -- "aimashou"
+ PSeeYouPlace p = mkText (mkPhrase (mkUtt p.at)) (lin Text (ss ("会いましょう"))) ; -- "aimashou"
PSeeYouPlaceDate p d =
- mkText (lin Text (ss ("see you")))
- (mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
+ mkText (mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d)))
+ (lin Text (ss ("会いましょう"))) ; -- "aimashou"
-- 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 (mkN "wife") ;
- Husband = xOf (mkN "husband") ;
- Son = xOf (mkN "son") ;
- Daughter = xOf (mkN "daughter") ;
+ Wife = xOf (mkN "妻" "奥さん" R.Anim "人" False "妻たち") ; -- "tsuma" "okusan"
+ Husband = xOf (mkN "夫" "ご主人" R.Anim "人" False "夫たち") ; -- "otto" "goshujin"
+ Son = xOf (mkN "息子" "息子さん" R.Anim "人" False "息子たち") ; -- "musuko"
+ Daughter = xOf (mkN "娘" "お嬢さん" R.Anim "人" False "娘たち") ; -- "musume" "ojousan"
Children = xOf L.child_N ;
-- week days
- Monday = mkDay "Monday" ;
- Tuesday = mkDay "Tuesday" ;
- Wednesday = mkDay "Wednesday" ;
- Thursday = mkDay "Thursday" ;
- Friday = mkDay "Friday" ;
- Saturday = mkDay "Saturday" ;
- Sunday = mkDay "Sunday" ;
+ Monday = mkDay "月曜日" ; -- "getsuyoubi"
+ Tuesday = mkDay "火曜日" ; -- "kayoubi"
+ Wednesday = mkDay "水曜日" ; -- "suiyoubi"
+ Thursday = mkDay "木曜日" ; -- "mokuyoubi"
+ Friday = mkDay "金曜日" ; -- "kin'youbi"
+ Saturday = mkDay "土曜日" ; -- "doyoubi"
+ Sunday = mkDay "日曜日" ; -- "nichiyoubi"
- Tomorrow = P.mkAdv "tomorrow" ;
+ Tomorrow = P.mkAdv "明日" ; -- "ashita"
-- modifiers of places
TheBest = mkSuperl L.good_A ;
TheClosest = mkSuperl L.near_A ;
----- TheCheapest = mkSuperl (mkA "cheap") ;
----- TheMostExpensive = mkSuperl (mkA "expensive") ;
----- TheMostPopular = mkSuperl (mkA "popular") ;
+ TheCheapest = mkSuperl (mkA "安い") ; -- "yasui"
+ TheMostExpensive = mkSuperl (mkA "高い") ; -- "takai"
+ TheMostPopular = mkSuperl (mkA "盛んな") ; -- "sakanna"
TheWorst = mkSuperl L.bad_A ;
SuperlPlace sup p = placeNP sup p ;
-- transports
-
-{-
- HowFar place = mkQS (mkQCl far_IAdv place.name) ;
+
+ HowFar place = mkQS (mkQCl howFar_IAdv (mkCl place.name (mkA "遠い"))) ;
HowFarFrom x y =
- mkQS (mkQCl far_IAdv (mkCl y.name (SyntaxJpn.mkAdv from_Prep x.name))) ;
+ mkQS (mkQCl howFar_IAdv (mkCl (mkNP y.name (SyntaxJpn.mkAdv from_Prep x.name)) (mkA "遠い"))) ;
HowFarFromBy x y t =
- mkQS (mkQCl far_IAdv (mkCl y.name (SyntaxJpn.mkAdv from_Prep (mkNP x.name t)))) ;
- HowFarBy y t = mkQS (mkQCl far_IAdv (mkCl y.name t)) ;
--}
+ mkQS (mkQCl howFar_IAdv (mkCl
+ (mkNP y.name (SyntaxJpn.mkAdv from_Prep (mkNP x.name t))) (mkA "遠い"))) ;
+ HowFarBy y t = mkQS (mkQCl howFar_IAdv (mkCl (mkNP y.name t) (mkA "遠い"))) ;
+
WhichTranspPlace trans place =
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
@@ -234,13 +246,14 @@ concrete WordsJpn of Words = SentencesJpn **
oper
- mkNat : Str -> Str -> NPNationality = \nat,co ->
- mkNPNationality (mkNP (mkPN nat)) (mkNP (mkPN co)) L.good_A ; ---- mkA ...
+ mkNat : Str -> NPNationality = \co ->
+ mkNPNationality (mkNP (mkPN (co + "語"))) (mkNP (mkPN co))
+ (mkA (co + "の")) (mkNP (mkPN (co + "人"))) ; ---- mkA ...
mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
let day : NP = mkNP (mkPN d) in
- mkNPDay day (SyntaxJpn.mkAdv on_Prep day)
- (SyntaxJpn.mkAdv on_Prep (mkNP a_Quant plNum (mkCN (mkN d)))) ;
+ mkNPDay day (SyntaxJpn.mkAdv in_Prep day)
+ (SyntaxJpn.mkAdv in_Prep (mkNP a_Quant plNum (mkCN (mkN d)))) ;
mkCompoundPlace : Str -> Str -> Str -> {name : CN ; at : Prep ; to : Prep; isPl : Bool} = \comp, p, i ->
mkCNPlace (mkCN (P.mkN (comp + p))) (P.mkPrep i) to_Prep ;
@@ -248,16 +261,14 @@ concrete WordsJpn of Words = SentencesJpn **
mkPlace : Str -> Str -> {name : CN ; at : Prep ; to : Prep; isPl : Bool} = \p,i ->
mkCNPlace (mkCN (mkN p)) (P.mkPrep i) to_Prep ;
- open_Adv = P.mkAdv "open" ;
- closed_Adv = P.mkAdv "closed" ;
-
xOf : N -> NPPerson -> NPPerson = \f,p ->
{name = mkNP the_Det (mkCN f (SyntaxJpn.mkAdv possess_Prep p.name)) ;
isPron = False ; poss = the_Quant} ; ---- poss not used
+ mkOpen : A = mkA "開いている" "開いた" ; -- "aiteiru"
+ mkClosed : A = mkA "閉まっている" "閉まった" ; -- "shimatteiru"
- nameOf : NPPerson -> NP = \p -> (xOf (mkN "name") p).name ;
-
+ nameOf : NPPerson -> NP = \p -> (xOf (mkN "名前") p).name ;
mkTransport : N -> {name : CN ; by : Adv} = \n -> {
name = mkCN n ;
@@ -266,51 +277,108 @@ concrete WordsJpn of Words = SentencesJpn **
mkSuperl : A -> Det = \a -> SyntaxJpn.mkDet the_Art (SyntaxJpn.mkOrd a) ;
- far_IAdv = lin IAdv (ss "how far") ;
+ howFar_IAdv : IAdv = lin IAdv {s = \\st => "どのくらい" ; particle = "" ; wh8re = False} ;
+
+ howOld_IAdv : IAdv = lin IAdv {s = \\st => "何歳" ; particle = "" ; wh8re = False} ;
+
+ mkCur : Str -> Currency = \c -> lin Currency (lin CN {
+ s = \\n,st => c ;
+ anim = R.Inanim ;
+ counter = c ;
+ counterReplace = True ;
+ counterTsu, hasAttr = False ;
+ object, prepositive = \\st => ""
+ } ) ;
+
+ mkNounWOCounter : Str -> CN = \noun -> lin CN {
+ s = \\n,st => noun ;
+ anim = R.Inanim ;
+ counter = noun ;
+ counterReplace = True ;
+ counterTsu, hasAttr = False ;
+ object, prepositive = \\st => ""
+ } ;
+
+ mkKnow : V = lin V {
+ s = table {
+ R.Resp => table {
+ (R.TPres|R.TFut) => table {
+ R.Pos => "知っています" ;
+ R.Neg => "知りません"
+ } ;
+ R.TPast => table {
+ R.Pos => "知っていました" ;
+ R.Neg => "知りませんでした"
+ }
+ } ;
+ R.Plain => table {
+ (R.TPres|R.TFut) => table {
+ R.Pos => "知っている" ;
+ R.Neg => "知らない"
+ } ;
+ R.TPast => table {
+ R.Pos => "知っていた" ;
+ R.Neg => "知らなかった"
+ }
+ }
+ } ;
+ te = table {
+ R.Pos => "知って" ;
+ R.Neg => "知らないで"
+ } ;
+ a_stem = "知ら" ;
+ i_stem = "知り" ;
+ ba = table {
+ R.Pos => "知れば" ;
+ R.Neg => "知らなければ"
+ } ;
+ needSubject = True
+ } ;
--------------------------------------------------
-- New 30/11/2011 AR
--------------------------------------------------
lin
- Thai = mkNat "Thai" "Thailand" ;
- Baht = mkCN (mkN "baht" "baht") ;
+ Thai = mkNat "タイ" ; -- "tai"
+ Baht = mkCur "バーツ" ; -- "baatsu"
- Rice = mkCN (mkN "rice") ;
- Pork = mkCN (mkN "pork") ;
- Beef = mkCN (mkN "beef") ;
+ Rice = mkCN (mkN "ご飯") ; -- "gohan"
+ Pork = mkCN (mkN "豚肉") ; -- "butaniku"
+ Beef = mkCN (mkN "牛肉") ; -- "gyuuniku"
Egg = mkCN L.egg_N ;
- Noodles = mkCN (mkN "noodle") ;
- Shrimps = mkCN (mkN "shrimp") ;
- Chili = mkCN (mkN "chili") ;
- Garlic = mkCN (mkN "garlic") ;
- Durian = mkCN (mkN "durian") ;
- Mango = mkCN (mkN "mango") ;
- Pineapple = mkCN (mkN "pineapple") ;
- Coke = mkCN (mkN "coke") ;
- IceCream = mkCN (mkN "ice cream") ;
- Salad = mkCN (mkN "salad") ;
- OrangeJuice = mkCN (mkN "orange juice") ;
- Lemonade = mkCN (mkN "lemonade") ;
+ Noodles = mkCN (mkN "ヌードル") ; -- "nuudoru"
+ Shrimps = mkCN (mkN "海老") ; -- "ebi"
+ Chili = mkCN (mkN "チリ") ; -- "chiri"
+ Garlic = mkCN (mkN "大蒜") ; -- "ninniku"
+ Durian = mkCN (mkN "ドリアン") ; -- "dorian"
+ Mango = mkCN (mkN "マンゴ") ; -- "mango"
+ Pineapple = mkCN (mkN "パイナップル") ; -- "painappuru"
+ Coke = mkCN (mkN "コーク") ; -- "kooku"
+ IceCream = mkCN (mkN "アイスクリーム") ; -- "aisukuriimu"
+ Salad = mkCN (mkN "サラダ") ; -- "sarada"
+ OrangeJuice = mkCN (mkN "オレンジジュース") ; -- "orenjijuusu"
+ Lemonade = mkCN (mkN "レモネード") ; -- "remoneedo"
Beach = mkPlace "beach" "on" ;
- ItsRaining = mkCl (progressiveVP (mkVP L.rain_V0)) ;
+ ItsRaining = mkCl (mkVP R.mkRain) ;
ItsCold = mkCl (mkVP L.cold_A) ;
ItsWarm = mkCl (mkVP L.warm_A) ;
- ItsWindy = mkCl (mkVP (P.mkA "windy")) ;
- SunShine = mkCl (mkNP the_Det L.sun_N) (progressiveVP (mkVP (mkV "shine"))) ;
-
- Smoke = mkVP (P.mkV "smoke") ;
-
- ADoctor = mkProfession (mkN "doctor") ;
- AProfessor = mkProfession (mkN "professor") ;
- ALawyer = mkProfession (mkN "lawyer") ;
- AEngineer = mkProfession (mkN "engineer") ;
- ATeacher = mkProfession (mkN "teacher") ;
- ACook = mkProfession (mkN "cook") ;
- AStudent = mkProfession (mkN "student") ;
- ABusinessman = mkProfession (mkN "businessman" "businessmen") ;
+ ItsWindy = mkCl (mkVP (P.mkA "風が強い")) ;
+ SunShine = mkCl (mkNP L.sun_N) (mkVP (mkV "輝いている" R.Gr2)) ;
+ -- "taiyou wa kagayaite iru"
+
+ Smoke = mkVP (P.mkV "煙草を吸う" R.Gr1) ; -- "tabako o suu"
+
+ ADoctor = mkProfession (mkN "医者") ; -- "isha"
+ AProfessor = mkProfession (mkN "教授") ; -- "kyouju"
+ ALawyer = mkProfession (mkN "弁護士") ; -- "bengoshi"
+ AEngineer = mkProfession (mkN "技術者") ; -- "gijutsusha"
+ ATeacher = mkProfession (mkN "先生") ; -- "sensei"
+ ACook = mkProfession (mkN "料理人") ; -- "ryourinin"
+ AStudent = mkProfession (mkN "学生") ; -- "gakusei"
+ ABusinessman = mkProfession (mkN "実業家") ; -- "jitsugyouka"
oper
mkProfession : N -> NPPerson -> Cl = \n,p -> mkCl p.name n ;