mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-04 08:42:50 -06:00
147 lines
5.4 KiB
Plaintext
147 lines
5.4 KiB
Plaintext
--# -path=alltenses:.:../abstract
|
|
|
|
concrete ConstructionSpa of Construction = CatSpa **
|
|
open SyntaxSpa, SymbolicSpa, ParadigmsSpa,
|
|
(L = LexiconSpa), (E = ExtraSpa), (I = IrregSpa), (R = ResSpa), (C = CommonRomance),
|
|
Prelude in {
|
|
|
|
|
|
lin
|
|
hungry_VP = E.ComplCN have_V2 (mkCN (mkN "hambre" feminine)) ;
|
|
thirsty_VP = E.ComplCN have_V2 (mkCN (mkN "sed" feminine)) ;
|
|
has_age_VP card = mkVP have_V2 (mkNP <lin Card card : Card> L.year_N) ;
|
|
|
|
have_name_Cl x y = mkCl x (mkV2 (reflV (mkV "llamar"))) y ;
|
|
married_Cl x y = mkCl (lin NP x) L.married_A2 (lin NP y) | mkCl (mkNP and_Conj (lin NP x) (lin NP y)) (mkA "casado") ;
|
|
|
|
what_name_QCl x = mkQCl how_IAdv (mkCl (lin NP x) (reflV (mkV "llamar"))) ;
|
|
how_old_QCl x = mkQCl (mkIP how8many_IDet L.year_N) x have_V2 ;
|
|
how_far_QCl x = mkQCl (lin IAdv (ss "a qué distancia")) (mkCl x I.estar_V) ;
|
|
|
|
-- some more things
|
|
weather_adjCl ap = mkCl (mkVP (mkVA I.hacer_V) (lin AP ap)) ;
|
|
|
|
is_right_VP = E.ComplCN have_V2 (mkCN (mkN "razón")) ;
|
|
is_wrong_VP = mkVP (mkVA I.estar_V) (mkAP (mkA "equivocado")) ;
|
|
|
|
n_units_AP card cn a = mkAP (lin AdA (mkUtt (mkNP <lin Card card : Card> (lin CN cn)))) (lin A a) ;
|
|
|
|
bottle_of_CN np = mkCN (lin N2 (mkN2 (mkN "botella" feminine) part_Prep)) np ;
|
|
cup_of_CN np = mkCN (lin N2 (mkN2 (mkN "taza") part_Prep)) np ;
|
|
glass_of_CN np = mkCN (lin N2 (mkN2 (mkN "copa") part_Prep)) np ;
|
|
|
|
{-
|
|
-- spatial deixis and motion verbs
|
|
|
|
where_go_QCl np = mkQCl where_IAdv (mkCl np (mkVP L.go_V)) ;
|
|
where_come_from_QCl np = mkQCl (lin IAdv (ss "d'où")) (mkCl np (mkVP L.go_V)) ;
|
|
|
|
go_here_VP = mkVP (mkVP L.go_V) here_Adv ;
|
|
come_here_VP = mkVP (mkVP L.come_V) here_Adv ;
|
|
come_from_here_VP = mkVP (mkVP L.come_V) (mkAdv "d'ici") ;
|
|
|
|
go_there_VP = mkVP (mkVP L.go_V) there_Adv ;
|
|
come_there_VP = mkVP (mkVP L.come_V) there_Adv ;
|
|
come_from_there_VP = mkVP (mkVP L.come_V) (mkAdv "de là") ;
|
|
-}
|
|
|
|
lincat
|
|
Weekday = N ;
|
|
Monthday = NP ;
|
|
Month = N ;
|
|
Year = NP ;
|
|
oper
|
|
noPrep : Prep = mkPrep [] ;
|
|
|
|
lin
|
|
weekdayPunctualAdv w = lin Adv {s = w.s ! C.Sg} ; -- lundi
|
|
weekdayHabitualAdv w = SyntaxSpa.mkAdv noPrep (mkNP the_Det w) ; -- il lunedí ----
|
|
weekdayLastAdv w = SyntaxSpa.mkAdv noPrep (mkNP the_Det (mkCN (mkA "pasado") w)) ; -- il lunedí scorso
|
|
weekdayNextAdv w = SyntaxSpa.mkAdv noPrep (mkNP the_Det (mkCN (mkA "próximo") w)) ; -- il lunedí prossimo
|
|
|
|
monthAdv m = lin Adv {s = "en" ++ m.s ! C.Sg} ; -- in mggio
|
|
yearAdv y = SyntaxSpa.mkAdv (mkPrep "en") y ; ----
|
|
dayMonthAdv d m = ParadigmsSpa.mkAdv ("el" ++ (d.s ! R.Nom).comp ++ m.s ! C.Sg) ; -- le 17 mai
|
|
monthYearAdv m y = lin Adv {s = "en" ++ m.s ! C.Sg ++ (y.s ! R.Nom).comp} ; -- in maggio 2012
|
|
dayMonthYearAdv d m y = ParadigmsSpa.mkAdv ("el" ++ (d.s ! R.Nom).comp ++ m.s ! C.Sg ++ (y.s ! R.Nom).comp) ; -- il 17 maggio 2013
|
|
|
|
intYear = symb ;
|
|
intMonthday = symb ;
|
|
|
|
|
|
lincat Language = PN ;
|
|
|
|
lin InLanguage l = SyntaxSpa.mkAdv (mkPrep "en") (mkNP l) ;
|
|
|
|
lin
|
|
weekdayN w = w ;
|
|
|
|
weekdayPN w = mkPN w ;
|
|
monthPN m = mkPN m ;
|
|
|
|
languagePN l = l ;
|
|
|
|
oper mkLanguage : Str -> PN = \s -> mkPN s ;
|
|
|
|
----------------------------------------------
|
|
---- lexicon of special names
|
|
|
|
lin monday_Weekday = mkN "lunes" ;
|
|
lin tuesday_Weekday = mkN "martes" ;
|
|
lin wednesday_Weekday = mkN "miércoles" ;
|
|
lin thursday_Weekday = mkN "jueves" ;
|
|
lin friday_Weekday = mkN "viernes" ;
|
|
lin saturday_Weekday = mkN "sábado" ;
|
|
lin sunday_Weekday = mkN "domingo" ;
|
|
|
|
lin january_Month = mkN "enero" ;
|
|
lin february_Month = mkN "febrero" ;
|
|
lin march_Month = mkN "marzo" ;
|
|
lin april_Month = mkN "abril" ;
|
|
lin may_Month = mkN "mayo" ;
|
|
lin june_Month = mkN "junio" ;
|
|
lin july_Month = mkN "julio" ;
|
|
lin august_Month = mkN "agosto" ;
|
|
lin september_Month = mkN "septiembre" ;
|
|
lin october_Month = mkN "octubre" ;
|
|
lin november_Month = mkN "noviembre" ;
|
|
lin december_Month = mkN "diciembre" ;
|
|
|
|
lin afrikaans_Language = mkLanguage "afrikáans" ;
|
|
lin amharic_Language = mkLanguage "amárico" ;
|
|
lin arabic_Language = mkLanguage "árabe" ;
|
|
lin bulgarian_Language = mkLanguage "búlgaro" ;
|
|
lin catalan_Language = mkLanguage "catalán" ;
|
|
lin chinese_Language = mkLanguage "chino" ;
|
|
lin danish_Language = mkLanguage "danés" ;
|
|
lin dutch_Language = mkLanguage "neerlandés" ;
|
|
lin english_Language = mkLanguage "inglés" ;
|
|
lin estonian_Language = mkLanguage "estone" ;
|
|
lin finnish_Language = mkLanguage "finés" ;
|
|
lin french_Language = mkLanguage "francés" ;
|
|
lin german_Language = mkLanguage "alemán" ;
|
|
lin greek_Language = mkLanguage "griego" ;
|
|
lin hebrew_Language = mkLanguage "ebreo" ;
|
|
lin hindi_Language = mkLanguage "hindi" ;
|
|
lin japanese_Language = mkLanguage "japonés" ;
|
|
lin italian_Language = mkLanguage "italiano" ;
|
|
lin latin_Language = mkLanguage "latín" ;
|
|
lin latvian_Language = mkLanguage "letón" ;
|
|
lin maltese_Language = mkLanguage "maltés" ;
|
|
lin nepali_Language = mkLanguage "nepalí" ;
|
|
lin norwegian_Language = mkLanguage "noruego" ;
|
|
lin persian_Language = mkLanguage "persa" ;
|
|
lin polish_Language = mkLanguage "polaco" ;
|
|
lin punjabi_Language = mkLanguage "punjabi" ;
|
|
lin romanian_Language = mkLanguage "rumano" ;
|
|
lin russian_Language = mkLanguage "ruso" ;
|
|
lin sindhi_Language = mkLanguage "sindhi" ;
|
|
lin spanish_Language = mkLanguage "español" ;
|
|
lin swahili_Language = mkLanguage "swahili" ;
|
|
lin swedish_Language = mkLanguage "sueco" ;
|
|
lin thai_Language = mkLanguage "tailandés" ;
|
|
lin turkish_Language = mkLanguage "turco" ;
|
|
lin urdu_Language = mkLanguage "urdu" ;
|
|
|
|
}
|