mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-27 03:38:55 -06:00
quick hack: changed cat name Language to LAnguage in Phrasebook to avoid clash with Construction.Language in App
This commit is contained in:
@@ -36,7 +36,7 @@ abstract Sentences = Numeral ** {
|
|||||||
Person ; -- agent wanting or doing something e.g. "you"
|
Person ; -- agent wanting or doing something e.g. "you"
|
||||||
Action ; -- proposition about a Person e.g. "you are here"
|
Action ; -- proposition about a Person e.g. "you are here"
|
||||||
Nationality ; -- complex of language, property, country e.g. "Swedish, Sweden"
|
Nationality ; -- complex of language, property, country e.g. "Swedish, Sweden"
|
||||||
Language ; -- language (can be without nationality) e.g. "Flemish"
|
LAnguage ; -- language (can be without nationality) e.g. "Flemish"
|
||||||
Citizenship ; -- property (can be without language) e.g. "Belgian"
|
Citizenship ; -- property (can be without language) e.g. "Belgian"
|
||||||
Country ; -- country (can be without language) e.g. "Belgium"
|
Country ; -- country (can be without language) e.g. "Belgium"
|
||||||
Day ; -- weekday type e.g. "Friday"
|
Day ; -- weekday type e.g. "Friday"
|
||||||
@@ -75,7 +75,7 @@ abstract Sentences = Numeral ** {
|
|||||||
PPlace : Place -> Word ;
|
PPlace : Place -> Word ;
|
||||||
PPlaceKind : PlaceKind -> Word ;
|
PPlaceKind : PlaceKind -> Word ;
|
||||||
PCurrency : Currency -> Word ;
|
PCurrency : Currency -> Word ;
|
||||||
PLanguage : Language -> Word ;
|
PLanguage : LAnguage -> Word ;
|
||||||
PCitizenship : Citizenship -> Word ;
|
PCitizenship : Citizenship -> Word ;
|
||||||
PCountry : Country -> Word ;
|
PCountry : Country -> Word ;
|
||||||
PDay : Day -> Word ;
|
PDay : Day -> Word ;
|
||||||
@@ -142,7 +142,7 @@ abstract Sentences = Numeral ** {
|
|||||||
YouFamMale, YouFamFemale, -- familiar you, said to man/woman (affects agreement)
|
YouFamMale, YouFamFemale, -- familiar you, said to man/woman (affects agreement)
|
||||||
YouPolMale, YouPolFemale : Person ; -- polite you, said to man/woman (affects agreement)
|
YouPolMale, YouPolFemale : Person ; -- polite you, said to man/woman (affects agreement)
|
||||||
|
|
||||||
LangNat : Nationality -> Language ; -- Swedish
|
LangNat : Nationality -> LAnguage ; -- Swedish
|
||||||
CitiNat : Nationality -> Citizenship ; -- Swedish
|
CitiNat : Nationality -> Citizenship ; -- Swedish
|
||||||
CountryNat : Nationality -> Country ; -- Sweden
|
CountryNat : Nationality -> Country ; -- Sweden
|
||||||
PropCit : Citizenship -> Property ; -- Swedish
|
PropCit : Citizenship -> Property ; -- Swedish
|
||||||
|
|||||||
@@ -2,7 +2,7 @@ concrete SentencesBul of Sentences =
|
|||||||
NumeralBul ** SentencesI - [IMale, IFemale, YouFamMale, YouFamFemale, YouPolMale,
|
NumeralBul ** SentencesI - [IMale, IFemale, YouFamMale, YouFamFemale, YouPolMale,
|
||||||
YouPolFemale, ACitizen, Citizenship, PCitizenship,
|
YouPolFemale, ACitizen, Citizenship, PCitizenship,
|
||||||
LangNat, CitiNat, CountryNat, PropCit,
|
LangNat, CitiNat, CountryNat, PropCit,
|
||||||
Nationality, Country, Language, PLanguage, PCountry
|
Nationality, Country, LAnguage, PLanguage, PCountry
|
||||||
] with
|
] with
|
||||||
(Syntax = SyntaxBul),
|
(Syntax = SyntaxBul),
|
||||||
(Symbolic = SymbolicBul),
|
(Symbolic = SymbolicBul),
|
||||||
@@ -16,7 +16,7 @@ lincat
|
|||||||
s2 : A; -- furthermore, adjective for Property
|
s2 : A; -- furthermore, adjective for Property
|
||||||
s3 : PN -- country name
|
s3 : PN -- country name
|
||||||
} ;
|
} ;
|
||||||
Language = A ;
|
LAnguage = A ;
|
||||||
Country = PN ;
|
Country = PN ;
|
||||||
|
|
||||||
lin IMale = mkPerson i_Pron ;
|
lin IMale = mkPerson i_Pron ;
|
||||||
|
|||||||
@@ -2,7 +2,7 @@ concrete SentencesGer of Sentences = NumeralGer ** SentencesI -
|
|||||||
[PYesToNo,SHaveNo,SHaveNoMass,
|
[PYesToNo,SHaveNo,SHaveNoMass,
|
||||||
Proposition, Action, Is, IsMass, SProp, SPropNot, QProp,
|
Proposition, Action, Is, IsMass, SProp, SPropNot, QProp,
|
||||||
AHaveCurr, ACitizen, ABePlace, AKnowSentence, AKnowPerson, AKnowQuestion,
|
AHaveCurr, ACitizen, ABePlace, AKnowSentence, AKnowPerson, AKnowQuestion,
|
||||||
Nationality, Language,
|
Nationality, LAnguage,
|
||||||
ADoVerbPhrase, AModVerbPhrase, ADoVerbPhrasePlace, AModVerbPhrasePlace,
|
ADoVerbPhrase, AModVerbPhrase, ADoVerbPhrasePlace, AModVerbPhrasePlace,
|
||||||
YouPlurPolMale, YouPlurPolFemale
|
YouPlurPolMale, YouPlurPolFemale
|
||||||
] with
|
] with
|
||||||
@@ -38,7 +38,7 @@ concrete SentencesGer of Sentences = NumeralGer ** SentencesI -
|
|||||||
|
|
||||||
lincat
|
lincat
|
||||||
Nationality = {lang : CN ; country : NP ; prop : A} ;
|
Nationality = {lang : CN ; country : NP ; prop : A} ;
|
||||||
Language = CN ; -- kein Deutsch
|
LAnguage = CN ; -- kein Deutsch
|
||||||
|
|
||||||
-- the new things
|
-- the new things
|
||||||
lin
|
lin
|
||||||
|
|||||||
@@ -34,7 +34,7 @@ incomplete concrete SentencesI of Sentences = Numeral **
|
|||||||
Action = Cl ;
|
Action = Cl ;
|
||||||
Person = NPPerson ; -- {name : NP ; isPron : Bool ; poss : Quant} ;
|
Person = NPPerson ; -- {name : NP ; isPron : Bool ; poss : Quant} ;
|
||||||
Nationality = NPNationality ; -- {lang : NP ; country : NP ; prop : A} ;
|
Nationality = NPNationality ; -- {lang : NP ; country : NP ; prop : A} ;
|
||||||
Language = NP ;
|
LAnguage = NP ;
|
||||||
Citizenship = A ;
|
Citizenship = A ;
|
||||||
Country = NP ;
|
Country = NP ;
|
||||||
Day = NPDay ; -- {name : NP ; point : Syntax.Adv ; habitual : Syntax.Adv} ;
|
Day = NPDay ; -- {name : NP ; point : Syntax.Adv ; habitual : Syntax.Adv} ;
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
concrete SentencesPol of Sentences =
|
concrete SentencesPol of Sentences =
|
||||||
NumeralPol ** SentencesI - [
|
NumeralPol ** SentencesI - [
|
||||||
Day,PDay,OnDay,Language,PLanguage,Citizenship,
|
Day,PDay,OnDay,LAnguage,PLanguage,Citizenship,
|
||||||
PCitizenship,CitiNat,PropCit,ACitizen,
|
PCitizenship,CitiNat,PropCit,ACitizen,
|
||||||
Nationality,Transport,PTransport,ByTransp,
|
Nationality,Transport,PTransport,ByTransp,
|
||||||
IFemale,YouFamFemale, YouPolFemale,YouPolMale,
|
IFemale,YouFamFemale, YouPolFemale,YouPolMale,
|
||||||
|
|||||||
@@ -78,8 +78,10 @@ abstract Words = Sentences ** {
|
|||||||
NorwegianCrown : Currency ;
|
NorwegianCrown : Currency ;
|
||||||
Pound : Currency ; -- UK
|
Pound : Currency ; -- UK
|
||||||
Rouble : Currency ; -- Russia
|
Rouble : Currency ; -- Russia
|
||||||
|
Rupee : Currency ; -- India
|
||||||
SwedishCrown : Currency ;
|
SwedishCrown : Currency ;
|
||||||
Zloty : Currency ; -- Poland
|
Zloty : Currency ; -- Poland
|
||||||
|
Yuan : Currency ; -- China
|
||||||
|
|
||||||
|
|
||||||
-- nationalities, countries, languages, citizenships
|
-- nationalities, countries, languages, citizenships
|
||||||
@@ -88,13 +90,17 @@ abstract Words = Sentences ** {
|
|||||||
Belgium : Country ;
|
Belgium : Country ;
|
||||||
Bulgarian : Nationality ;
|
Bulgarian : Nationality ;
|
||||||
Catalan : Nationality ;
|
Catalan : Nationality ;
|
||||||
|
Chinese : Nationality ;
|
||||||
Danish : Nationality ;
|
Danish : Nationality ;
|
||||||
Dutch : Nationality ;
|
Dutch : Nationality ;
|
||||||
English : Nationality ;
|
English : Nationality ;
|
||||||
Finnish : Nationality ;
|
Finnish : Nationality ;
|
||||||
Flemish : Language ;
|
Flemish : LAnguage ;
|
||||||
French : Nationality ;
|
French : Nationality ;
|
||||||
German : Nationality ;
|
German : Nationality ;
|
||||||
|
Hindi : LAnguage ;
|
||||||
|
India : Country ;
|
||||||
|
Indian : Citizenship ;
|
||||||
Italian : Nationality ;
|
Italian : Nationality ;
|
||||||
Norwegian : Nationality ;
|
Norwegian : Nationality ;
|
||||||
Polish : Nationality ;
|
Polish : Nationality ;
|
||||||
@@ -135,7 +141,7 @@ abstract Words = Sentences ** {
|
|||||||
AMarried : Person -> Action ; -- I am married
|
AMarried : Person -> Action ; -- I am married
|
||||||
AReady : Person -> Action ; -- I am ready
|
AReady : Person -> Action ; -- I am ready
|
||||||
AScared : Person -> Action ; -- I am scared
|
AScared : Person -> Action ; -- I am scared
|
||||||
ASpeak : Person -> Language -> Action ; -- I speak Finnish
|
ASpeak : Person -> LAnguage -> Action ; -- I speak Finnish
|
||||||
AThirsty : Person -> Action ; -- I am thirsty
|
AThirsty : Person -> Action ; -- I am thirsty
|
||||||
ATired : Person -> Action ; -- I am tired
|
ATired : Person -> Action ; -- I am tired
|
||||||
AUnderstand : Person -> Action ; -- I (don't) understand
|
AUnderstand : Person -> Action ; -- I (don't) understand
|
||||||
|
|||||||
@@ -85,8 +85,10 @@ concrete WordsEng of Words = SentencesEng **
|
|||||||
NorwegianCrown = mkCN (mkA "Norwegian") (mkN "crown") | mkCN (mkN "crown") ;
|
NorwegianCrown = mkCN (mkA "Norwegian") (mkN "crown") | mkCN (mkN "crown") ;
|
||||||
Pound = mkCN (mkN "pound") ;
|
Pound = mkCN (mkN "pound") ;
|
||||||
Rouble = mkCN (mkN "rouble") ;
|
Rouble = mkCN (mkN "rouble") ;
|
||||||
|
Rupee = mkCN (mkN "rupee") ;
|
||||||
SwedishCrown = mkCN (mkA "Swedish") (mkN "crown") | mkCN (mkN "crown") ;
|
SwedishCrown = mkCN (mkA "Swedish") (mkN "crown") | mkCN (mkN "crown") ;
|
||||||
Zloty = mkCN (mkN "zloty" "zloty") ;
|
Zloty = mkCN (mkN "zloty" "zloty") ;
|
||||||
|
Yuan = mkCN (mkN "yuan" "yuan") ;
|
||||||
|
|
||||||
-- Nationalities
|
-- Nationalities
|
||||||
|
|
||||||
@@ -94,6 +96,7 @@ concrete WordsEng of Words = SentencesEng **
|
|||||||
Belgium = mkNP (mkPN "Belgium") ;
|
Belgium = mkNP (mkPN "Belgium") ;
|
||||||
Bulgarian = mkNat "Bulgarian" "Bulgaria" ;
|
Bulgarian = mkNat "Bulgarian" "Bulgaria" ;
|
||||||
Catalan = mkNPNationality (mkNP (mkPN "Catalan")) (mkNP (mkPN "Catalonia")) (mkA "Catalonian") ;
|
Catalan = mkNPNationality (mkNP (mkPN "Catalan")) (mkNP (mkPN "Catalonia")) (mkA "Catalonian") ;
|
||||||
|
Chinese = mkNat "Chinese" "China" ;
|
||||||
Danish = mkNat "Danish" "Denmark" ;
|
Danish = mkNat "Danish" "Denmark" ;
|
||||||
Dutch = mkNPNationality (mkNP (mkPN "Dutch")) (mkNP the_Quant (mkN "Netherlands")) (mkA "Dutch") ;
|
Dutch = mkNPNationality (mkNP (mkPN "Dutch")) (mkNP the_Quant (mkN "Netherlands")) (mkA "Dutch") ;
|
||||||
English = mkNat "English" "England" ;
|
English = mkNat "English" "England" ;
|
||||||
@@ -101,6 +104,9 @@ concrete WordsEng of Words = SentencesEng **
|
|||||||
Flemish = mkNP (mkPN "Flemish") ;
|
Flemish = mkNP (mkPN "Flemish") ;
|
||||||
French = mkNat "French" "France" ;
|
French = mkNat "French" "France" ;
|
||||||
German = mkNat "German" "Germany" ;
|
German = mkNat "German" "Germany" ;
|
||||||
|
Hindi = mkNP (mkPN "Hindi") ;
|
||||||
|
India = mkNP (mkPN "India") ;
|
||||||
|
Indian = mkA "Indian" ;
|
||||||
Italian = mkNat "Italian" "Italy" ;
|
Italian = mkNat "Italian" "Italy" ;
|
||||||
Norwegian = mkNat "Norwegian" "Norway" ;
|
Norwegian = mkNat "Norwegian" "Norway" ;
|
||||||
Polish = mkNat "Polish" "Poland" ;
|
Polish = mkNat "Polish" "Poland" ;
|
||||||
|
|||||||
@@ -78,8 +78,10 @@ concrete WordsSwe of Words = SentencesSwe **
|
|||||||
NorwegianCrown = mkCN (mkA "norsk") (mkN "krona") | mkCN (mkN "krona") ;
|
NorwegianCrown = mkCN (mkA "norsk") (mkN "krona") | mkCN (mkN "krona") ;
|
||||||
Pound = mkCN (mkN "pund" "pund") ; ---- ett pund ?
|
Pound = mkCN (mkN "pund" "pund") ; ---- ett pund ?
|
||||||
Rouble = mkCN (mkN "rubel" "rubeln" "rubel" "rubeln") ; ---- ?
|
Rouble = mkCN (mkN "rubel" "rubeln" "rubel" "rubeln") ; ---- ?
|
||||||
|
Rupee = mkCN (mkN "rupee" "rupee") ; ----
|
||||||
SwedishCrown = mkCN (mkA "svensk") (mkN "krona") | mkCN (mkN "krona") ;
|
SwedishCrown = mkCN (mkA "svensk") (mkN "krona") | mkCN (mkN "krona") ;
|
||||||
Zloty = mkCN (mkN "zloty" "zloty") ;
|
Zloty = mkCN (mkN "zloty" "zloty") ;
|
||||||
|
Yuan = mkCN (mkN "yuan" "yuan") ;
|
||||||
|
|
||||||
-- nationalities
|
-- nationalities
|
||||||
|
|
||||||
@@ -87,13 +89,17 @@ concrete WordsSwe of Words = SentencesSwe **
|
|||||||
Belgium = mkNP (mkPN "Belgien") ;
|
Belgium = mkNP (mkPN "Belgien") ;
|
||||||
Bulgarian = mkNat "bulgarisk" "Bulgarien" ;
|
Bulgarian = mkNat "bulgarisk" "Bulgarien" ;
|
||||||
Catalan = mkNat "katalansk" "Katalonien" ;
|
Catalan = mkNat "katalansk" "Katalonien" ;
|
||||||
|
China = mkNat "kinesisk" "Kina" ;
|
||||||
Danish = mkNat "dansk" "Danmark" ;
|
Danish = mkNat "dansk" "Danmark" ;
|
||||||
Dutch = mkNat "nederländsk" "Nederländerna" ;
|
Dutch = mkNat "nederländsk" "Nederländerna" ;
|
||||||
English = mkNat "engelsk" "England" ;
|
English = mkNat "engelsk" "England" ;
|
||||||
Finnish = mkNat "finsk" "Finland" ;
|
Finnish = mkNat "finsk" "Finland" ;
|
||||||
Flemish = mkNP (mkPN "flamländska") ;
|
Flemish = mkNP (mkPN "flamländska") ;
|
||||||
French = mkNat "fransk" "Frankrike" ;
|
French = mkNat "fransk" "Frankrike" ;
|
||||||
German = mkNat "tysk" "Tyskland" ;
|
German = mkNat "tysk" "Tyskland" ;
|
||||||
|
Hindi = mkNP (mkPN "hindi") ;
|
||||||
|
Indian = mkA "indisk" ;
|
||||||
|
India = mkNP (mkPN "Indien") ;
|
||||||
Italian = mkNat "italiensk" "Italien" ;
|
Italian = mkNat "italiensk" "Italien" ;
|
||||||
Norwegian = mkNat "norsk" "Norge" ;
|
Norwegian = mkNat "norsk" "Norge" ;
|
||||||
Polish = mkNat "polsk" "Polen" ;
|
Polish = mkNat "polsk" "Polen" ;
|
||||||
|
|||||||
Reference in New Issue
Block a user