GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-22 19:22:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

Spanish Phrasebook by Inari Listenmaa

Browse Source
This commit is contained in:
aarne
2010-05-20 15:44:51 +00:00
parent e4bb947996
commit b466bbebbf
4 changed files with 219 additions and 143 deletions
Download Patch File Download Diff File Expand all files Collapse all files

55
examples/phrasebook/SentencesSpa.gf
View File

@@ -1,13 +1,21 @@
concrete SentencesSpa of Sentences = NumeralSpa ** SentencesI - [
IFemale, YouFamFemale, YouPolFemale, IMale, YouFamMale, YouPolMale
IFemale, YouFamFemale, YouPolFemale, IMale, YouFamMale, YouPolMale,
WherePlace, WherePerson, ABePlace,
Superlative
]
with
(Syntax = SyntaxSpa),
(Symbolic = SymbolicSpa),
(Lexicon = LexiconSpa) **
open SyntaxSpa, ExtraSpa, Prelude in {
open ParadigmsSpa, BeschSpa, SyntaxSpa, ExtraSpa, Prelude in {
flags coding = utf8 ;
lincat
Superlative = OrdSuperlative ; -- {ord: Ord ; isPre: Bool}
lin
lin
IFemale =
{name = mkNP (ProDrop i8fem_Pron) ; isPron = True ; poss = mkQuant i_Pron} ;
YouFamFemale =
@@ -20,9 +28,17 @@ concrete SentencesSpa of Sentences = NumeralSpa ** SentencesI - [
{name = mkNP (ProDrop youSg_Pron) ; isPron = True ; poss = mkQuant youSg_Pron} ;
YouPolMale =
{name = mkNP (ProDrop youPol_Pron) ; isPron = True ; poss = mkQuant youPol_Pron} ;
ABePlace p place = mkCl p.name (mkVP (mkVP estar) place.at) ;
WherePlace place = mkQS (mkQCl where_IAdv (mkCl place.name estar) ) ;
WherePerson person = mkQS (mkQCl where_IAdv (mkCl person.name estar) ) ;
oper
estar = mkV (estar_2 "estar") ;
CNPlace : Type = {name : CN ; at : Prep ; to : Prep } ;
mkCNPlace : CN -> Prep -> Prep -> CNPlace = \p,i,t -> {
@@ -31,13 +47,26 @@ oper
to = t ;
} ;
placeNP : Det -> CNPlace -> NPPlace = \det,kind ->
let name : NP = mkNP det kind.name in {
OrdSuperlative : Type = {ord: Ord ; isPre: Bool} ;
placeNPSuperl : OrdSuperlative -> CNPlace -> NPPlace = \sup,kind -> case sup.isPre of {
True => placeNPDet sup.ord kind ;
False => placeNPAdj sup.ord kind
} ;
-- "el mejor aeropuerto"
placeNPDet : Ord -> CNPlace -> NPPlace = \ord,kind ->
let name : NP = mkNP (mkDet the_Art ord) kind.name in {
name = name ;
at = mkAdv kind.at name ;
to = mkAdv kind.to name ;
};
}
at = SyntaxSpa.mkAdv kind.at name ;
to = SyntaxSpa.mkAdv kind.to name ;
};
-- "el aeropuerto más grande"
placeNPAdj : Ord -> CNPlace -> NPPlace = \ord,kind ->
let name : NP = mkNP the_Art (mkCN kind.name (mkAP ord)) in {
name = name ;
at = SyntaxSpa.mkAdv kind.at name ;
to = SyntaxSpa.mkAdv kind.to name ;
};
}