msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

a compilable stub of PhrasebookJpn. Sent to a native speaker expert for completions.

Browse Source
This commit is contained in:
aarne
2014-11-15 09:43:15 +00:00
parent c707575bd7
commit 4b075da678
5 changed files with 389 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
examples/phrasebook/GreetingsJpn.gf Normal file
View File

@@ -0,0 +1,27 @@
concrete GreetingsJpn of Greetings = SentencesJpn [Greeting,mkGreeting] ** open Prelude in {
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" ;
}

7
examples/phrasebook/PhrasebookJpn.gf Normal file
View File

@@ -0,0 +1,7 @@
concrete PhrasebookJpn of Phrasebook =
GreetingsJpn,
WordsJpn ** open
SyntaxJpn,
Prelude in {
}

4
examples/phrasebook/SentencesI.gf
View File

@@ -210,8 +210,8 @@ oper
placeNP : Det -> CNPlace -> NPPlace = \det,kind ->
let name : NP = mkNP det kind.name in {
name = name ;
at = mkAdv kind.at name ;
to = mkAdv kind.to name
at = Syntax.mkAdv kind.at name ;
to = Syntax.mkAdv kind.to name
} ;
NPPerson : Type = {name : NP ; isPron : Bool ; poss : Quant} ;

36
examples/phrasebook/SentencesJpn.gf Normal file
View File

@@ -0,0 +1,36 @@
concrete SentencesJpn of Sentences = NumeralJpn **
SentencesI - [
VDrink,VEat,VRead,VWait,VWrite,
phrasePlease, mkSentence, mkPhrase,
NameNN,
PSentence, PQuestion, GObjectPlease
]
with
(Syntax = SyntaxJpn),
-- (Symbolic = SymbolicJpn),
(Lexicon = LexiconJpn) ** open SyntaxJpn, ParadigmsJpn in {
lin
VDrink = v2toVP drink_V2 ;
VEat = v2toVP eat_V2 ;
VRead = v2toVP read_V2 ;
VWait = v2toVP wait_V2 ;
VWrite = v2toVP write_V2 ;
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 '?'
GObjectPlease o = lin Text (mkPhr noPConj (mkUtt o) please_Voc) | lin Text (mkPhr (mkUtt o)) ;
oper
v2toVP : V2 -> VP = \v2 -> mkVP <lin V (v2 ** {needSubject = True}) : V> ;
phrasePlease : Utt -> Text = \u -> lin Text (mkPhr u) | lin Text (mkPhr noPConj u please_Voc) ;
mkPhrase : Utt -> Text = \u -> lin Text (mkPhr u) ; -- no punctuation
mkSentence : Utt -> Text = \t -> lin Text (postfixSS "." (mkPhr t) | (mkPhr t)) ; -- optional .
}

317
examples/phrasebook/WordsJpn.gf Normal file
View File

@@ -0,0 +1,317 @@
--2 Implementations of Words, with Jpnlish as example
concrete WordsJpn of Words = SentencesJpn **
open
SyntaxJpn,
ParadigmsJpn,
(L = LexiconJpn),
(P = ParadigmsJpn),
-- IrregJpn,
ExtraJpn,
Prelude in {
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 (mkN "cheese") ;
Chicken = mkCN (mkN "chicken") ;
Coffee = mkCN (mkN "coffee") ;
Fish = mkCN L.fish_N ;
Meat = mkCN (mkN "meat") ;
Milk = mkCN L.milk_N ;
Pizza = mkCN (mkN "pizza") ;
Salt = mkCN L.salt_N ;
Tea = mkCN (mkN "tea") ;
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" ;
Cold = L.cold_A ;
-- Delicious = mkA "delicious" ;
-- Expensive = mkA "expensive" ;
-- Fresh = mkA "fresh" ;
Good = L.good_A ;
-- Suspect = mkA "suspect" ;
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" ;
CitRestaurant cit = mkCNPlace (mkCN cit (mkN "restaurant")) in_Prep to_Prep ;
-- 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") ;
-- 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" ;
-- Means of transportation
Bike = mkTransport L.bike_N ;
Bus = mkTransport (mkN "bus") ;
Car = mkTransport L.car_N ;
Ferry = mkTransport (mkN "ferry") ;
Plane = mkTransport L.airplane_N ;
Subway = mkTransport (mkN "subway") ;
Taxi = mkTransport (mkN "taxi") ;
Train = mkTransport (mkN "train") ;
Tram = mkTransport (mkN "tram") ;
ByFoot = P.mkAdv "by foot" ;
-- 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) ;
AHasRoom p num = mkCl p.name have_V2
(mkNP (mkNP a_Det (mkN "room")) (SyntaxJpn.mkAdv for_Prep (mkNP num (mkN "person")))) ;
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") ;
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 ;
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) ;
-- 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)) ;
PSeeYouPlaceDate p d =
mkText (lin Text (ss ("see you")))
(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 (mkN "wife") ;
Husband = xOf (mkN "husband") ;
Son = xOf (mkN "son") ;
Daughter = xOf (mkN "daughter") ;
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" ;
Tomorrow = P.mkAdv "tomorrow" ;
-- 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") ;
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 (SyntaxJpn.mkAdv from_Prep x.name))) ;
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)) ;
-}
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))) ;
-- auxiliaries
oper
mkNat : Str -> Str -> NPNationality = \nat,co ->
mkNPNationality (mkNP (mkPN nat)) (mkNP (mkPN co)) L.good_A ; ---- 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)))) ;
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 ;
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
nameOf : NPPerson -> NP = \p -> (xOf (mkN "name") p).name ;
mkTransport : N -> {name : CN ; by : Adv} = \n -> {
name = mkCN n ;
by = SyntaxJpn.mkAdv by8means_Prep (mkNP n)
} ;
mkSuperl : A -> Det = \a -> SyntaxJpn.mkDet the_Art (SyntaxJpn.mkOrd a) ;
far_IAdv = lin IAdv (ss "how far") ;
--------------------------------------------------
-- New 30/11/2011 AR
--------------------------------------------------
lin
Thai = mkNat "Thai" "Thailand" ;
Baht = mkCN (mkN "baht" "baht") ;
Rice = mkCN (mkN "rice") ;
Pork = mkCN (mkN "pork") ;
Beef = mkCN (mkN "beef") ;
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") ;
Beach = mkPlace "beach" "on" ;
ItsRaining = mkCl (progressiveVP (mkVP L.rain_V0)) ;
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") ;
oper
mkProfession : N -> NPPerson -> Cl = \n,p -> mkCl p.name n ;
}