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

Copula and lexical corrections to PhrasebookCat

Browse Source
This commit is contained in:
inari.listenmaa
2013-03-26 16:47:36 +00:00
parent 80f4d1de2e
commit 03f0316dae
2 changed files with 48 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
examples/phrasebook/SentencesCat.gf
View File

@@ -3,7 +3,8 @@ concrete SentencesCat of Sentences = NumeralCat ** SentencesI - [
IFemale, YouFamFemale, YouPolFemale, IMale, YouFamMale, YouPolMale, IFemale, YouFamFemale, YouPolFemale, IMale, YouFamMale, YouPolMale,
WeMale, WeFemale, YouPlurFamMale, YouPlurFamFemale, YouPlurPolFemale, YouPlurPolMale, TheyMale, TheyFemale, WeMale, WeFemale, YouPlurFamMale, YouPlurFamFemale, YouPlurPolFemale, YouPlurPolMale, TheyMale, TheyFemale,
PImperativeFamNeg, PImperativePolNeg, PImperativePlurNeg, --negative imperatives in subjunctive PImperativeFamNeg, PImperativePolNeg, PImperativePlurNeg, --negative imperatives in subjunctive
Superlative Superlative,
AKnowPerson
] ]
with with
(Syntax = SyntaxCat), (Syntax = SyntaxCat),
@@ -11,7 +12,7 @@ concrete SentencesCat of Sentences = NumeralCat ** SentencesI - [
(Lexicon = LexiconCat) ** (Lexicon = LexiconCat) **
open ParadigmsCat, BeschCat, SyntaxCat, ExtraCat, Prelude in { open ParadigmsCat, BeschCat, SyntaxCat, ExtraCat, Prelude in {
flags coding = utf8 ; --flags coding = utf8 ;
lincat lincat
Superlative = OrdSuperlative ; -- {ord: Ord ; isPre: Bool} Superlative = OrdSuperlative ; -- {ord: Ord ; isPre: Bool}
@@ -56,6 +57,9 @@ lin
PImperativePolNeg v = phrasePlease (ImpNeg (mkNP (ProDrop youPol_Pron)) v) ; PImperativePolNeg v = phrasePlease (ImpNeg (mkNP (ProDrop youPol_Pron)) v) ;
PImperativePlurNeg v = phrasePlease (ImpNeg (mkNP (ProDrop youPl_Pron)) v) ; PImperativePlurNeg v = phrasePlease (ImpNeg (mkNP (ProDrop youPl_Pron)) v) ;
AKnowPerson p q =
let coneixer : V2 = mkV2 (mkV (conèixer_27 "conèixer"))
in mkCl p.name coneixer q.name ;
oper oper

81
examples/phrasebook/WordsCat.gf
View File

@@ -32,22 +32,22 @@ lin
-- properties -- properties
Bad = L.bad_A ; Bad = L.bad_A ;
Boring = mkA "avorrit" "avorrida" "avorrits" "avorrides" "avorridament" ; Boring = mkA "avorrit" ;
Cheap = cheap_A ; Cheap = cheap_A ;
Cold = L.cold_A ; Cold = L.cold_A ;
Delicious = mkA "deliciós" "deliciosa" "deliciosos" "delicioses" "deliciosament"; Delicious = mkA "deliciós" ;
Expensive = expensive_A ; Expensive = expensive_A ;
Fresh = mkA "fresc" ; Fresh = mkA "fresc" ;
Good = L.good_A ; Good = L.good_A ;
Suspect = mkA "sospitós" "sospitosa" "sospitosos" "sospitoses" "sospitosament" ; Suspect = mkA "sospitós" ;
Warm = L.warm_A ; Warm = mkA "calent" ;
-- places -- places
lin lin
Airport = mkPlace (mkN "aeroport") ; Airport = mkPlace (mkN "aeroport") ;
AmusementPark = mkPlace (mkN "parc d' atraccions") ; AmusementPark = mkPlace (mkN "parc d' atraccions") ;
Bank = mkPlace (mkN "banc") ; Bank = mkPlace (mkN "banc") ;
Bar = mkPlace (mkN "bar") ; Bar = mkPlace (mkN "bar") ;
Cafeteria = mkPlace (mkN "cafeteria") ; Cafeteria = mkPlace (mkN "cafeteria") ;
Center = mkPlace (mkN "centre") ; Center = mkPlace (mkN "centre") ;
@@ -58,9 +58,9 @@ lin
Hotel = mkPlace (mkN "hotel") ; Hotel = mkPlace (mkN "hotel") ;
Museum = mkPlace (mkN "museu") ; Museum = mkPlace (mkN "museu") ;
Park = mkPlace (mkN "parc") ; Park = mkPlace (mkN "parc") ;
Parking = mkPlace (mkN "pàrking" masculine) ; Parking = mkPlace (mkN "aparcament" masculine) ;
Pharmacy = mkPlace (mkN "farmàcia") ; Pharmacy = mkPlace (mkN "farmàcia") ;
PostOffice = mkPlace (mkN "oficina de correus" feminine) ; PostOffice = mkPlace (mkN "oficina de correus" feminine) ;
Pub = mkPlace (mkN "pub" masculine) ; Pub = mkPlace (mkN "pub" masculine) ;
Restaurant = mkPlace (mkN "restaurant") ; Restaurant = mkPlace (mkN "restaurant") ;
School = mkPlace (mkN "escola") ; School = mkPlace (mkN "escola") ;
@@ -80,7 +80,7 @@ oper corona : A -> CN = \adj ->
in mkCN adj corona_N | mkCN corona_N ; in mkCN adj corona_N | mkCN corona_N ;
lin lin
DanishCrown = corona (mkA "danès" "danesa" "danesos" "daneses" "a la danesa") ; DanishCrown = corona (mkA "danès" "danesa" "danesos" "daneses" "a la danesa") ;
Dollar = mkCN (mkN "dollar") ; Dollar = mkCN (mkN "dòlar") ;
Euro = mkCN (mkN "euro" masculine) ; Euro = mkCN (mkN "euro" masculine) ;
Lei = mkCN (mkN "leu" "lei" masculine) ; Lei = mkCN (mkN "leu" "lei" masculine) ;
Leva = mkCN (mkN "lev" "lev" masculine) ; Leva = mkCN (mkN "lev" "lev" masculine) ;
@@ -94,15 +94,15 @@ lin
Belgian = mkA "belga" "belga" "belgues" "belgues" "a la Belga" ; Belgian = mkA "belga" "belga" "belgues" "belgues" "a la Belga" ;
Belgium = mkNP (mkPN "Bèlgica") ; Belgium = mkNP (mkPN "Bèlgica") ;
Bulgarian = mkNat3 "búlgar" "búlgara" "búlgars" "búlgueres" "Bulgària" ; Bulgarian = mkNat3 "búlgar" "búlgara" "búlgars" "búlgueres" "Bulgària" ;
Catalan = mkNat5 "catal" "Catalunya" ; Catalan = mkNat5 "catal" "Catalunya" ;
Danish = mkNat4 "dan" "Dinamarca" ; Danish = mkNat4 "dan" "Dinamarca" ;
Dutch = mkNat4 "holand" "Holanda" ; Dutch = mkNat4 "holand" "Holanda" ;
English = mkNat4 "angl" "Anglaterra" ; English = mkNat4 "angl" "Anglaterra" ;
Finnish = mkNat4 "fin" "Finlàndia" ; Finnish = mkNat4 "fin" "Finlàndia" ;
Flemish = mkNP (mkPN "flamenc") ; Flemish = mkNP (mkPN "flamenc") ;
French = mkNat4 "franc" "França" ; French = mkNat4 "franc" "França" ;
German = mkNat3 "alemany" "alemenya" "alemanys" "alemanyes" "Alemania" ; German = mkNat3 "alemany" "alemanya" "alemanys" "alemanyes" "Alemania" ;
Italian = mkNat5 "itali" "Itàlia" ; Italian = mkNat5 "itali" "Itàlia" ;
Norwegian = mkNat3 "noruec" "noruega" "noruecs" "noruegues" "Noruega" ; Norwegian = mkNat3 "noruec" "noruega" "noruecs" "noruegues" "Noruega" ;
Polish = mkNat4 "polon" "Polònia" ; Polish = mkNat4 "polon" "Polònia" ;
@@ -129,7 +129,7 @@ lin
-- actions -- actions
AHasAge p num = mkCl p.name have_V2 (mkNP num L.year_N) ; AHasAge p num = mkCl p.name have_V2 (mkNP num L.year_N) ;
AHasChildren p num = mkCl p.name have_V2 (mkNP num L.child_N) ; AHasChildren p num = mkCl p.name have_V2 (mkNP num (mkN "fill" masculine)) ;
AHasName p name = AHasName p name =
let dir = mkV (dir_41 "dir") let dir = mkV (dir_41 "dir")
in mkCl p.name (mkV2 (reflV dir)) name ; in mkCl p.name (mkV2 (reflV dir)) name ;
@@ -138,7 +138,7 @@ lin
AHasTable p num = mkCl p.name have_V2 AHasTable p num = mkCl p.name have_V2
(mkNP (mkNP a_Det (mkN "taula")) (SyntaxCat.mkAdv for_Prep (mkNP num (mkN "persona")))) ; (mkNP (mkNP a_Det (mkN "taula")) (SyntaxCat.mkAdv for_Prep (mkNP num (mkN "persona")))) ;
AHungry p = mkCl p.name (E.ComplCN have_V2 (mkCN (mkN "gana" feminine))) ; AHungry p = mkCl p.name (E.ComplCN have_V2 (mkCN (mkN "gana" feminine))) ;
AIll p = mkCl p.name (mkA "malalt") ; AIll p = mkCl p.name stateCopula (mkAP (mkA "malalt")) ;
AKnow p = AKnow p =
let saber = mkV (saber_99 "saber") let saber = mkV (saber_99 "saber")
in mkCl p.name saber ; in mkCl p.name saber ;
@@ -147,14 +147,12 @@ lin
let viure = mkV (viure_119 "viure") let viure = mkV (viure_119 "viure")
in mkCl p.name (mkVP (mkVP viure) (SyntaxCat.mkAdv in_Prep co)) ; in mkCl p.name (mkVP (mkVP viure) (SyntaxCat.mkAdv in_Prep co)) ;
ALove p q = mkCl p.name (mkV2 (mkV "estimar")) q.name ; ALove p q = mkCl p.name (mkV2 (mkV "estimar")) q.name ;
AMarried p = mkCl p.name (mkA "casat") ; AMarried p = mkCl p.name stateCopula (mkAP (mkA "casat")) ;
AReady p = AReady p = mkCl p.name stateCopula (mkAP (mkA "preparat")) ;
let ap = "a punt"
in mkCl p.name (mkA ap ap ap ap ap) ;
AScared p = mkCl p.name (E.ComplCN have_V2 (mkCN (mkN "por" feminine))) ; AScared p = mkCl p.name (E.ComplCN have_V2 (mkCN (mkN "por" feminine))) ;
ASpeak p lang = mkCl p.name (mkV2 (mkV "parlar")) lang ; ASpeak p lang = mkCl p.name (mkV2 (mkV "parlar")) lang ;
AThirsty p = mkCl p.name (E.ComplCN have_V2 (mkCN (mkN "set" feminine))) ; AThirsty p = mkCl p.name (E.ComplCN have_V2 (mkCN (mkN "set" feminine))) ;
ATired p = mkCl p.name (mkA "cansat") ; ATired p = mkCl p.name stateCopula (mkAP (mkA "cansat")) ;
AUnderstand p = mkCl p.name (mkV "entendre") ; AUnderstand p = mkCl p.name (mkV "entendre") ;
AWant p obj = AWant p obj =
let voler = mkV (voler_120 "voler") let voler = mkV (voler_120 "voler")
@@ -174,10 +172,10 @@ lin
ItCost item price = ItCost item price =
let valer = mkV (valer_114 "valer") let valer = mkV (valer_114 "valer")
in mkCl item (mkV2 valer) price ; in mkCl item (mkV2 valer) price ;
PropOpen p = mkCl p.name open_A ; PropOpen p = mkCl p.name stateCopula (mkAP open_A) ;
PropClosed p = mkCl p.name closed_A ; PropClosed p = mkCl p.name stateCopula (mkAP closed_A) ;
PropOpenDate p d = mkCl p.name (mkVP (mkVP open_A) d) ; PropOpenDate p d = mkCl p.name (mkVP (mkVP stateCopula (mkAP open_A)) d) ;
PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_A) d) ; PropClosedDate p d = mkCl p.name (mkVP (mkVP stateCopula (mkAP closed_A)) d) ;
PropOpenDay p d = mkCl p.name (mkVP (mkVP open_A) d.habitual) ; PropOpenDay p d = mkCl p.name (mkVP (mkVP open_A) d.habitual) ;
PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_A) d.habitual) ; PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_A) d.habitual) ;
PSeeYouPlaceDate p d = PSeeYouPlaceDate p d =
@@ -190,10 +188,10 @@ lin
-- family relations -- family relations
Wife = xOf sing (mkN "dona") ; Wife = xOf sing (mkN "dona") ;
Husband = xOf sing (mkN "home") ; Husband = xOf sing (mkN "marit") ;
Son = xOf sing (mkN "fill") ; Son = xOf sing (mkN "fill") ;
Daughter = xOf sing (mkN "filla") ; Daughter = xOf sing (mkN "filla") ;
Children = xOf plur L.child_N ; Children = xOf plur (mkN "fill") ;
-- week days -- week days
@@ -229,7 +227,7 @@ lin
WhichTranspPlace trans place = WhichTranspPlace trans place =
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ; mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
IsTranspPlace trans place = IsTranspPlace trans place =
mkQS (mkQCl (mkCl (mkCN trans.name (SyntaxCat.mkAdv for_Prep place.name)))) ; mkQS (mkQCl (mkCl (mkCN trans.name (SyntaxCat.mkAdv to_Prep place.name)))) ;
-- modifiers of places -- modifiers of places
TheBest = mkSuperl L.good_A True ; TheBest = mkSuperl L.good_A True ;
@@ -263,29 +261,34 @@ lin
mkNat2 : A -> Str -> Str -> NPNationality = \adj,nat,co -> mkNat2 : A -> Str -> Str -> NPNationality = \adj,nat,co ->
mkNPNationality (mkNP (mkPN nat)) (mkNP (mkPN co)) adj ; mkNPNationality (mkNP (mkPN nat)) (mkNP (mkPN co)) adj ;
mkNat3 : (_,_,_,_:Str) -> Str -> NPNationality = \ms,fs,mp,fp,co -> mkNat3 : (_,_,_,_:Str) -> Str -> NPNationality = \ms,fs,mp,fp,co ->
mkNPNationality (mkNP (mkPN ms)) (mkNP (mkPN co)) (mkA ms fs mp fp ("a la" ++ fs)) ; mkNPNationality (mkNP (mkPN ms)) (mkNP (mkPN co)) (mkA ms fs mp fp ("a la" ++ fs)) ;
mkNat4 : Str -> Str -> NPNationality = \angl,co -> mkNat4 : Str -> Str -> NPNationality = \angl,co ->
mkNat3 (angl+"ès") (angl+"esa") (angl+"esos") (angl+"eses") co ; mkNat3 (angl+"ès") (angl+"esa") (angl+"esos") (angl+"eses") co ;
mkNat5 : Str -> Str -> NPNationality = \catal,co -> mkNat5 : Str -> Str -> NPNationality = \catal,co ->
mkNat3 (catal+"à") (catal+"ana") (catal+"ans") (catal+"anes") co ; mkNat3 (catal+"à") (catal+"ana") (catal+"ans") (catal+"anes") co ;
mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d -> mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
let day = mkNP (mkPN d) let day = mkNP (mkPN d)
in mkNPDay day (P.mkAdv ("el" ++ d)) (P.mkAdv ("el" ++ d)) ; ---- ? in
case last d of {
"s" => mkNPDay day (P.mkAdv ("el" ++ d)) (P.mkAdv ("els" ++ d)) ;
_ => mkNPDay day (P.mkAdv ("el" ++ d)) (P.mkAdv ("els" ++ d + "s"))
} ;
mkPlace : N -> {name : CN ; at : Prep ; to : Prep; isPl : Bool} = \p -> mkPlace : N -> {name : CN ; at : Prep ; to : Prep; isPl : Bool} = \p ->
mkCNPlace (mkCN p) dative dative ; mkCNPlace (mkCN p) dative dative ;
mkTransport : N -> {name : CN ; by : Adv} = \n -> { mkTransport : N -> {name : CN ; by : Adv} = \n -> {
name = mkCN n ; name = mkCN n ;
by = S.mkAdv with_Prep (mkNP n) by = S.mkAdv with_Prep (mkNP n)
} ; } ;
xOf : GNumber -> N -> NPPerson -> NPPerson = \n,x,p -> mkRelative n (mkCN x) p ; xOf : GNumber -> N -> NPPerson -> NPPerson = \n,x,p -> mkRelative n (mkCN x) p ;
stateCopula = mkVA (mkV (estar_54 "estar")) ;
open_A = mkA "obert" ; open_A = mkA "obert" ;
closed_A = mkA "tancat" ; closed_A = mkA "tancat" ;