started spanish; still partly italian

lib/resource-1.0/italian/DiffIta.gf

@@ -54,7 +54,7 @@ instance DiffIta of DiffRomance = open CommonRomance, PhonoIta, BeschIta, Prelud
       } ;
 
     partitive = \g,c -> case c of {
-      CPrep P_de => "di" ;
+      CPrep P_di => "di" ;
       _ => prepCase c ++ artDef g Sg (CPrep P_di)
       } ;
 
@@ -88,8 +88,8 @@ instance DiffIta of DiffRomance = open CommonRomance, PhonoIta, BeschIta, Prelud
 
     relPron : Bool => AAgr => Case => Str = \\b,a,c => 
       case c of {
-        Nom => "che" ;
-        CPrep P_de => "cui" ;
+        Nom | Acc => "che" ;
+        CPrep P_di => "cui" ;
         _ => prepCase c ++ "cui" --- ilquale
         } ;
 
@@ -122,197 +122,7 @@ instance DiffIta of DiffRomance = open CommonRomance, PhonoIta, BeschIta, Prelud
 
     auxPassive : Verb = venire_V ;
 
-    copula = essere_V ;
-
--- machine-generated GF code (from Functional Morphology)
-
-  essere_V : Verb = verbBesch
-  {s = table {
-    Inf => "essere" ;
-    InfClit => "essr" ;
-    Indi Pres Sg P1 => "sono" ;
-    Indi Pres Sg P2 => "sei" ;
-    Indi Pres Sg P3 => "è" ;
-    Indi Pres Pl P1 => "siamo" ;
-    Indi Pres Pl P2 => "siete" ;
-    Indi Pres Pl P3 => "sono" ;
-    Indi Imperf Sg P1 => "ero" ;
-    Indi Imperf Sg P2 => "eri" ;
-    Indi Imperf Sg P3 => "era" ;
-    Indi Imperf Pl P1 => "eravamo" ;
-    Indi Imperf Pl P2 => "eravate" ;
-    Indi Imperf Pl P3 => "erano" ;
-    Pass Sg P1 => "fui" ;
-    Pass Sg P2 => "fosti" ;
-    Pass Sg P3 => "fu" ;
-    Pass Pl P1 => "fummo" ;
-    Pass Pl P2 => "foste" ;
-    Pass Pl P3 => "furono" ;
-    Fut Sg P1 => "sarò" ;
-    Fut Sg P2 => "sarai" ;
-    Fut Sg P3 => "sarà" ;
-    Fut Pl P1 => "saremo" ;
-    Fut Pl P2 => "sarete" ;
-    Fut Pl P3 => "saranno" ;
-    Cong Pres Sg P1 => "sia" ;
-    Cong Pres Sg P2 => "sia" ;
-    Cong Pres Sg P3 => "sia" ;
-    Cong Pres Pl P1 => "siamo" ;
-    Cong Pres Pl P2 => "siate" ;
-    Cong Pres Pl P3 => "siano" ;
-    Cong Imperf Sg P1 => "fossi" ;
-    Cong Imperf Sg P2 => "fossi" ;
-    Cong Imperf Sg P3 => "fosse" ;
-    Cong Imperf Pl P1 => "fossimo" ;
-    Cong Imperf Pl P2 => "foste" ;
-    Cong Imperf Pl P3 => "fossero" ;
-    Cond Sg P1 => "sarei" ;
-    Cond Sg P2 => "saresti" ;
-    Cond Sg P3 => "sarebbe" ;
-    Cond Pl P1 => "saremmo" ;
-    Cond Pl P2 => "sareste" ;
-    Cond Pl P3 => "sarebbero" ;
-    Imper SgP2 => "sii" ;
-    --Imper IPs3 => "sia" ;
-    Imper PlP1 => "siamo" ;
-    Imper PlP2 => "siate" ;
-    --Imper IPp3 => "siano" ;
-    Ger => "essendo" ;
-    Part PresP Masc Sg => variants {} ;
-    Part PresP Masc Pl => variants {} ;
-    Part PresP Fem Sg => variants {} ;
-    Part PresP Fem Pl => variants {} ;
-    Part PassP Masc Sg => "stato" ;
-    Part PassP Masc Pl => "stati" ;
-    Part PassP Fem Sg => "stata" ;
-    Part PassP Fem Pl => "state"
-    }} ** {
-    vtyp = VHabere
-  } ;
-
-  avere_V : Verb = verbBesch
-  {s = table {
-    Inf => "avere" ;
-    InfClit => "aver" ;
-    Indi Pres Sg P1 => "ho" ;
-    Indi Pres Sg P2 => "hai" ;
-    Indi Pres Sg P3 => "ha" ;
-    Indi Pres Pl P1 => "abbiamo" ;
-    Indi Pres Pl P2 => "avete" ;
-    Indi Pres Pl P3 => "hanno" ;
-    Indi Imperf Sg P1 => "avevo" ;
-    Indi Imperf Sg P2 => "avevi" ;
-    Indi Imperf Sg P3 => "aveva" ;
-    Indi Imperf Pl P1 => "avevamo" ;
-    Indi Imperf Pl P2 => "avevate" ;
-    Indi Imperf Pl P3 => "avevano" ;
-    Pass Sg P1 => "ebbi" ;
-    Pass Sg P2 => "avesti" ;
-    Pass Sg P3 => "ebbe" ;
-    Pass Pl P1 => "avemmo" ;
-    Pass Pl P2 => "aveste" ;
-    Pass Pl P3 => "ebbero" ;
-    Fut Sg P1 => "avrò" ;
-    Fut Sg P2 => "avrai" ;
-    Fut Sg P3 => "avrà" ;
-    Fut Pl P1 => "avremo" ;
-    Fut Pl P2 => "avrete" ;
-    Fut Pl P3 => "avranno" ;
-    Cong Pres Sg P1 => "abbia" ;
-    Cong Pres Sg P2 => "abbia" ;
-    Cong Pres Sg P3 => "abbia" ;
-    Cong Pres Pl P1 => "abbiamo" ;
-    Cong Pres Pl P2 => "abbiate" ;
-    Cong Pres Pl P3 => "abbiano" ;
-    Cong Imperf Sg P1 => "avessi" ;
-    Cong Imperf Sg P2 => "avessi" ;
-    Cong Imperf Sg P3 => "avesse" ;
-    Cong Imperf Pl P1 => "avessimo" ;
-    Cong Imperf Pl P2 => "aveste" ;
-    Cong Imperf Pl P3 => "avessero" ;
-    Cond Sg P1 => "avrei" ;
-    Cond Sg P2 => "avresti" ;
-    Cond Sg P3 => "avrebbe" ;
-    Cond Pl P1 => "avremmo" ;
-    Cond Pl P2 => "avreste" ;
-    Cond Pl P3 => "avrebbero" ;
-    Imper SgP2 => "abbi" ;
-    --Imper IPs3 => "abbia" ;
-    Imper PlP1 => "abbiamo" ;
-    Imper PlP2 => "abbiate" ;
-    --Imper IPp3 => "abbiano" ;
-    Ger => "avendo" ;
-    Part PresP Masc Sg => "avente" ;
-    Part PresP Masc Pl => "aventi" ;
-    Part PresP Fem Sg => "avente" ;
-    Part PresP Fem Pl => "aventi" ;
-    Part PassP Masc Sg => "avuto" ;
-    Part PassP Masc Pl => "avuti" ;
-    Part PassP Fem Sg => "avuta" ;
-    Part PassP Fem Pl => "avute"
-    }} ** {
-  vtyp = VEsse
-  } ;
-
-  venire_V : Verb = verbBesch
-  {s = table {
-    Inf => "venire" ;
-    InfClit => "venir" ;
-    Indi Pres Sg P1 => "vengo" ;
-    Indi Pres Sg P2 => "vieni" ;
-    Indi Pres Sg P3 => "viene" ;
-    Indi Pres Pl P1 => "veniamo" ;
-    Indi Pres Pl P2 => "venite" ;
-    Indi Pres Pl P3 => "vengono" ;
-    Indi Imperf Sg P1 => "venivo" ;
-    Indi Imperf Sg P2 => "venivi" ;
-    Indi Imperf Sg P3 => "veniva" ;
-    Indi Imperf Pl P1 => "venivamo" ;
-    Indi Imperf Pl P2 => "venivate" ;
-    Indi Imperf Pl P3 => "venivano" ;
-    Pass Sg P1 => "venni" ;
-    Pass Sg P2 => "venisti" ;
-    Pass Sg P3 => "venne" ;
-    Pass Pl P1 => "venimmo" ;
-    Pass Pl P2 => "veniste" ;
-    Pass Pl P3 => "vennero" ;
-    Fut Sg P1 => "verrò" ;
-    Fut Sg P2 => "verrai" ;
-    Fut Sg P3 => "verrà" ;
-    Fut Pl P1 => "verremo" ;
-    Fut Pl P2 => "verrete" ;
-    Fut Pl P3 => "verranno" ;
-    Cong Pres Sg P1 => "venga" ;
-    Cong Pres Sg P2 => "venga" ;
-    Cong Pres Sg P3 => "venga" ;
-    Cong Pres Pl P1 => "veniamo" ;
-    Cong Pres Pl P2 => "veniate" ;
-    Cong Pres Pl P3 => "vengano" ;
-    Cong Imperf Sg P1 => "venissi" ;
-    Cong Imperf Sg P2 => "venissi" ;
-    Cong Imperf Sg P3 => "venisse" ;
-    Cong Imperf Pl P1 => "venissimo" ;
-    Cong Imperf Pl P2 => "veniste" ;
-    Cong Imperf Pl P3 => "venissero" ;
-    Cond Sg P1 => "verrei" ;
-    Cond Sg P2 => "verresti" ;
-    Cond Sg P3 => "verrebbe" ;
-    Cond Pl P1 => "verremmo" ;
-    Cond Pl P2 => "verreste" ;
-    Cond Pl P3 => "verrebbero" ;
-    Imper SgP2 => "vieni" ;
-    Imper PlP1 => "veniamo" ;
-    Imper PlP2 => "venite" ;
-    Ger => "venendo" ;
-    Part PresP Masc Sg => "veniente" ;
-    Part PresP Masc Pl => "venienti" ;
-    Part PresP Fem Sg => "veniente" ;
-    Part PresP Fem Pl => "venienti" ;
-    Part PassP Masc Sg => "venuto" ;
-    Part PassP Masc Pl => "venuti" ;
-    Part PassP Fem Sg => "venuta" ;
-    Part PassP Fem Pl => "venute"
-    }} ** {
-  vtyp = VEsse
-  } ;
+    copula = verbBesch (essere_1 "essere") ** {vtyp = VEsse} ;
+    avere_V = verbBesch (avere_2 "avere") ** {vtyp = VHabere} ;
+    venire_V = verbBesch (venire_110 "venire") ** {vtyp = VEsse} ;
 }

lib/resource-1.0/spanish/AdjectiveSpa.gf

@@ -0,0 +1,2 @@
+concrete AdjectiveSpa of Adjective = CatSpa ** AdjectiveRomance with
+  (ResRomance = ResSpa) ;

lib/resource-1.0/spanish/AdverbSpa.gf

@@ -0,0 +1,2 @@
+concrete AdverbSpa of Adverb = CatSpa ** AdverbRomance with
+  (ResRomance = ResSpa) ;

lib/resource-1.0/spanish/CatSpa.gf

@@ -0,0 +1,4 @@
+--# -path=.:../romance:../abstract:../common:prelude
+
+concrete CatSpa of Cat = TenseX ** CatRomance with
+  (ResRomance = ResSpa) ;

lib/resource-1.0/spanish/ConjunctionSpa.gf

@@ -0,0 +1,2 @@
+concrete ConjunctionSpa of Conjunction = CatSpa ** ConjunctionRomance with
+  (ResRomance = ResSpa) ;

lib/resource-1.0/spanish/DiffSpa.gf

@@ -0,0 +1,109 @@
+--# -path=.:../romance:../abstract:../common:prelude
+
+instance DiffSpa of DiffRomance = open CommonRomance, PhonoSpa, BeschSpa, Prelude in {
+
+  param 
+    Prep = P_de | P_a ;
+    VType = VHabere | VRefl ;
+
+  oper
+    dative   : Case = CPrep P_a ;
+    genitive : Case = CPrep P_de ;
+
+    prepCase = \c -> case c of {
+      Nom => [] ;
+      Acc => [] ; 
+      CPrep P_de => "de" ;
+      CPrep P_a  => "a"
+      } ;
+
+    artDef : Gender -> Number -> Case -> Str = \g,n,c ->
+      case <g,n,c> of {
+        <Masc,Sg, CPrep P_de> => "del" ;
+        <Masc,Sg, CPrep P_a>  => "al" ;
+        <Masc,Sg, _>          => prepCase c ++ "el" ;
+        <Fem ,Sg, _> => prepCase c ++ "la" ;
+        <Masc,Pl, _> => prepCase c ++ "los" ;
+        <Fem ,Pl, _> => prepCase c ++ "las"
+        } ;
+
+-- In these two, "de de/du/des" becomes "de".
+
+    artIndef = \g,n,c -> case n of {
+      Sg  => prepCase c ++ genForms "un"   "una" ! g ;
+      _   => prepCase c ++ genForms "unos" "unas" ! g
+      } ;
+
+    partitive = \g,c -> case c of {
+      CPrep P_de => "de" ;
+      _ => prepCase c ++ artDef g Sg (CPrep P_de)
+      } ;
+
+    conjunctCase : NPForm -> NPForm = \c -> case c of {
+      Ton Nom | Aton Nom => Ton Nom ;
+      _ => Ton Acc 
+      } ;
+
+    auxVerb : VType -> (VF => Str) = \_ -> haber_V.s ;
+
+    partAgr : VType -> VPAgr = \vtyp -> case vtyp of {
+      VHabere => vpAgrNone ;
+      _ => VPAgrSubj
+      } ;
+
+    vpAgrClit : Agr -> VPAgr = \a ->
+      vpAgrNone ;
+
+    negation : Polarity => (Str * Str) = table {
+      Pos => <[],[]> ;
+      Neg => <"no",[]>
+      } ;
+
+    conjThan = "que" ;
+    conjThat = "que" ;
+
+    clitInf cli inf = inf ++ cli ; --- contraction of inf
+
+    relPron : Bool => AAgr => Case => Str = \\b,a,c => 
+      case c of {
+        Nom | Acc => "que" ;
+        CPrep P_a => "cuyo" ;
+        _ => prepCase c ++ "cuyo"
+        } ;
+
+    pronSuch : AAgr => Str = aagrForms "tál" "tál" "tales" "tales" ;
+
+    quelPron : AAgr => Str = aagrForms "cuál" "cuál" "cuales" "cuales" ;
+
+    partQIndir = [] ; ---- ?
+
+    reflPron : Number => Person => Case => Str = 
+      let 
+        cases : (x,y : Str) -> (Case => Str) = \me,moi -> table {
+          Acc | CPrep P_a => me ;
+          _ => moi
+          } ;
+      in 
+      \\n,p => case <n,p> of { 
+        <Sg,P1> => cases "mi" "me" ;
+        <Sg,P2> => cases "ti" "te" ;
+        <Pl,P1> => cases "ci" "noi" ; -- unlike French with just one alt!
+        <Pl,P2> => cases "vi" "voi" ;
+        _ => cases "si" "se"
+        } ;
+
+    vRefl   : VType = VRefl ;
+    isVRefl : VType -> Bool = \ty -> case ty of {
+      VRefl => True ;
+      _ => False
+      } ;
+
+    auxPassive : Verb = copula ;
+
+    copula = verbBeschH (ser_1 []) ;
+
+    haber_V : Verb = verbBeschH (haber_3 []) ;
+
+    verbBeschH : Verbum -> Verb = \v -> verbBesch v ** {vtyp = VHabere} ;
+
+}

lib/resource-1.0/spanish/LangSpa.gf

@@ -0,0 +1,20 @@
+--# -path=.:../romance:../abstract:../common:prelude
+
+concrete LangSpa of Lang = 
+  NounSpa, 
+  VerbSpa, 
+  AdjectiveSpa,
+  AdverbSpa,
+  NumeralSpa,
+  SentenceSpa,
+  QuestionSpa,
+  RelativeSpa,
+  ConjunctionSpa,
+  PhraseSpa,
+--  StructuralSpa,
+  LexiconSpa
+  ** {
+
+flags startcat = Phr ;
+
+} ;

lib/resource-1.0/spanish/LexiconSpa.gf

@@ -0,0 +1,224 @@
+--# -path=.:../romance:../common:../abstract:../../prelude
+
+concrete LexiconSpa of Lexicon = CatSpa ** open ParadigmsSpa, BeschSpa in {
+
+flags 
+  optimize=values ;
+
+lin
+   airplane_N = regN "aeroplano" ;	-- avión  is masculine
+   answer_V2S = mkV2S (regV "responder") dative ;
+   apartment_N = regN "apartamento" ;
+   apple_N = regN "manzana" ;
+   art_N = regN "arte" ;	
+   ask_V2Q = mkV2Q (regV "preguntar") dative ;
+   baby_N = regN "bebé" ;		-- can be used for both fem. & masc.
+   bad_A = prefA (mkADeg (regA "malo") (regA "peor")) ;
+   bank_N = regN "banco" ;
+   beautiful_A = prefA (regADeg "bello") ;	-- bella
+   become_VA = regV "conventir" ;  --- convertirse en, volverse, ponerse
+   beer_N = regN "cerveza" ;
+   beg_V2V = mkV2V (regV "rogar") accusative dative ;   -- pedir
+   big_A = prefA (regADeg "grande") ;
+   bike_N = regN "bicicleta" ;
+   bird_N = regN "pájaro" ;
+   black_A = regADeg "negro" ;	-- negra
+   blue_A = regADeg "azul" ;
+   boat_N = regN "bote" ;
+   book_N = regN "libro" ;
+   boot_N = regN "bota" ;
+   boss_N = regN "jefe" ;
+   boy_N = regN "niño" ;
+   bread_N = regN "pan" ;
+   break_V2 = dirV2 (special_ppV (regV "romper") "roto") ;
+   broad_A = regADeg "ancho" ;
+   brother_N2 = deN2 (regN "hermano") ;
+   brown_A = regADeg "marrón" ; --- *
+   butter_N = regN "manteca" ;
+   buy_V2 = dirV2 (regV "comprar") ;
+   camera_N = regN "cámara" ; -- ["máquina fotográfica"]
+   cap_N = regN "gorra" ;
+   car_N = regN "auto" ;
+   carpet_N = regN "alfombra" ;
+   cat_N = regN "gato" ;		-- gata
+   ceiling_N = regN "techo" ;
+   chair_N = regN "silla" ;
+   cheese_N = regN "queso" ;
+   child_N = regN "niño" ;		-- niña
+   church_N = regN "iglesia" ;
+   city_N = femN (regN "ciudad") ;		-- fem
+   clean_A = regADeg "limpio" ;
+   clever_A = regADeg "inteligente" ;
+   close_V2 = dirV2 (regV "cerrar") ;
+   coat_N = regN "abrigo" ;
+   cold_A = regADeg "frío" ;		-- fría
+   come_V = verboV (venir_82 "venir") ;
+   computer_N = regN "computadora" ;		-- also computador, ordenador in Spain
+   country_N = regN "país" ;		-- masc
+   cousin_N = regN "primo" ;
+   cow_N = regN "vaca" ;
+   die_V = verboV (morir_35b "morir") ;
+   dirty_A = regADeg "sucio" ;
+   distance_N3 = mkN3 (regN "distancia") genitive dative ;
+   doctor_N = regN "médico" ;		-- médica
+   dog_N = regN "perro" ;		-- perra
+   door_N = regN "puerta" ;
+   drink_V2 = dirV2 (regV "tomar") ;     -- beber
+   easy_A2V = mkA2V (regA "fácil") dative genitive ;
+   eat_V2 = dirV2 (regV "comer") ;
+   empty_A = regADeg "vacío" ;
+   enemy_N = regN "enemigo" ;		-- enemiga
+   factory_N = regN "fábrica" ;	
+   father_N2 = deN2 (regN "padre") ;
+   fear_VS = mkVS (regV "temer") ;
+   find_V2 = dirV2 (verboV (encontrar_38 "encontrar")) ;
+   fish_N = mascN (regN "pez") ;
+   floor_N = regN "suelo" ;		-- piso
+   forget_V2 = dirV2 (regV "olvidar") ;
+   fridge_N = regN "heladera" ;
+   friend_N = regN "amigo" ;		-- amiga
+   fruit_N = regN "fruta" ;
+   fun_AV = mkAV (regA "divertido") genitive ;		-- entretenido
+   garden_N = regN "jardín" ;
+   girl_N = regN "niña" ;
+   glove_N = regN "guante" ;
+   gold_N = regN "oro" ;
+   good_A = prefA (mkADeg (regA "bueno") (regA "mejor")) ; ---- adv?
+   go_V = (verboV (ir_46 "ir")) ;
+   green_A = regADeg "verde" ;
+   harbour_N = regN "puerto" ;
+   hate_V2 = dirV2 (regV "odiar") ;
+   hat_N = regN "sombrero" ;
+   have_V2 = dirV2 (verboV (tener_4 "tener")) ;
+   hear_V2 = mkV2 (regV "escuchar") dative ; -- oír_51 
+   hill_N = regN "colina" ;
+   hope_VS = mkVS (regV "esperar") ;
+   horse_N = regN "caballo" ;
+   hot_A = regADeg "caliente" ;
+   house_N = regN "casa" ;
+   important_A = regADeg "importante" ;
+   industry_N = regN "industria" ;
+   iron_N = regN "fierro" ;
+   king_N = regN "rey" ;
+   know_V2 = dirV2 (verboV (saber_71 "saber")) ; --   conocer
+   lake_N = regN "lago" ;
+   lamp_N = regN "lámpara" ;
+   learn_V2 = dirV2 (regV "aprender") ;
+   leather_N = regN "cuero" ;
+   leave_V2 = dirV2 (regV "partir") ;	-- irse, dejar
+   like_V2 = dirV2 (regV "gustar") ;
+   listen_V2 = dirV2 (regV "escuchar") ;
+   live_V = verboV (vivir_7 "vivir") ;
+   long_A = regADeg "largo" ;
+   lose_V2 = dirV2 (verboV (defender_29 "perder")) ;
+   love_N = regN "amor" ;
+   love_V2 = dirV2 (regV "amar") ;
+   man_N = regN "hombre" ;		-- masc
+   married_A2 = mkA2 (regA "casado") dative ;
+   meat_N = femN (regN "carne") ;
+   milk_N = femN (regN "leche") ;
+   moon_N = regN "luna" ;
+   mother_N2 = deN2 (femN (regN "madre")) ;	-- fem
+   mountain_N = regN "montaña" ;
+   music_N = regN "música" ;
+   narrow_A = regADeg "estrecho" ;
+   new_A = prefA (regADeg "nuevo") ;
+   newspaper_N = regN "periódico" ;		-- diario  
+   oil_N = regN "aceite" ;
+   old_A =  prefA (regADeg "viejo") ;
+   open_V2 = dirV2 (special_ppV (regV "abrir") "abierto") ;
+   paint_V2A = mkV2A (regV "pintar") accusative ;
+   paper_N = regN "papel" ;
+   peace_N = femN (regN "paz") ;
+   pen_N = regN "lapicera" ;
+   planet_N = mascN (regN "planeta") ;
+   plastic_N = regN "plástico" ;
+   play_V2 = dirV2 (verboV (jugar_47 "jugar")) ;
+   policeman_N = mascN (regN "policía") ;	-- fem refers to the institution
+   priest_N = mascN (regN "cura") ;		-- masc
+   probable_AS = mkAS (regA "probable") ;	
+   queen_N = regN "reina" ;
+   radio_N = femN (regN "radio") ;
+   rain_V0 = mkV0 (verboV (llover_89 "llover")) ;
+   read_V2 = dirV2 (verboV (creer_26 "leer")) ;
+   red_A = regADeg "rojo" ;
+   religion_N = mkN "religión" "religiones" feminine ;
+   restaurant_N = regN "restaurante" ;		-- restorán, restaurán, masc
+   river_N = regN "río" ;
+   rock_N = regN "roca" ;
+   roof_N = regN "techo" ;
+   rubber_N = regN "goma" ;
+   run_V = regV "correr" ;
+   say_VS = mkVS (verboV (decir_28 "decir")) ;
+   school_N = regN "escuela" ;
+   science_N = regN "ciencia" ;
+   sea_N = regN "mar" ;			-- masc & fem 
+   seek_V2 = dirV2 (regV "buscar") ;
+   see_V2 = dirV2 (verboV (ver_83 "ver")) ;
+   sell_V3 = dirV3 (regV "vender") dative ;
+   send_V3 = dirV3 (regV "mandar") dative ;
+   sheep_N = regN "oveja" ;
+   ship_N = femN (regN "nave") ;
+   shirt_N = regN "camisa" ;
+   shoe_N = regN "zapato" ;
+   shop_N = regN "negocio" ;
+   short_A = regADeg "corto" ; --- breve
+   silver_N = regN "plata" ;
+   sister_N = regN "hermana" ;
+   sleep_V = verboV (dormir_35 "dormir") ;
+   small_A = prefA (regADeg "pequeño") ;
+   snake_N = femN (regN "serpiente") ;		-- fem
+   sock_N = regN "media" ;
+   speak_V2 = dirV2 (regV "hablar") ;
+   star_N = regN "estrella" ;
+   steel_N = regN "acero" ;
+   stone_N = regN "piedra" ;
+   stove_N = regN "horno" ;		-- estufa
+   student_N = regN "estudiante" ;	-- used both for fem & masc
+   stupid_A = regADeg "estúpido" ;
+   sun_N = regN "sol" ;	
+   switch8off_V2 = dirV2 (regV "apagar") ;
+   switch8on_V2 = dirV2 (regV "prender") ;
+   table_N = regN "mesa" ; 
+   talk_V3 = mkV3 (regV "hablar") dative genitive ;
+   teacher_N = regN "maestro" ;		-- maestra
+   teach_V2 = dirV2 (regV "enseñar") ;
+   television_N = mkN "televisión" "televisiones" feminine ;	-- televisor masc
+   thick_A = regADeg "grueso" ;
+   thin_A = regADeg "fino" ;			-- delgado
+   train_N = regN "tren" ;
+   travel_V = regV "viajar" ;
+   tree_N = regN "árbol" ;
+  --- trousers_N = regN "pantalón" ;	-- masc
+   ugly_A = regADeg "feo" ;
+   understand_V2 = dirV2 (regV "entender") ;
+   university_N = femN (regN "universidad") ;
+   village_N = regN "pueblo" ;
+   wait_V2 = mkV2 (regV "esperar") dative ;
+   walk_V = regV "caminar" ;
+   warm_A = regADeg "tibio" ;
+   war_N = regN "guerra" ;
+   watch_V2 = dirV2 (regV "mirar") ;		-- ver
+   water_N = mascN (regN "agua") ;
+   white_A = compADeg (regA "blanco") ;
+   window_N = regN "ventana" ;
+   wine_N = regN "vino" ;
+   win_V2 = dirV2 (regV "ganar") ;
+   woman_N = femN (regN "mujer") ;
+   wonder_VQ = mkVQ (regV "preguntar") ; ---- preguntarse 
+   wood_N = regN "madera" ;
+   write_V2 = dirV2 (special_ppV (regV "escribir") "escrito") ;
+   yellow_A = regADeg "amarillo" ;
+   young_A = prefA (regADeg "joven") ;
+
+   do_V2 =  dirV2 (verboV (hacer_44 "hacer")) ;
+   now_Adv = mkAdv "ahora" ;
+   already_Adv = mkAdv "ya" ;
+   song_N = mkN "canción" "canciones" feminine ;
+   add_V3 = dirV3 (regV "sumar") dative ;
+   number_N = regN "número" ;
+   put_V2 = dirV2 (verboV (poner_60 "poner")) ;
+   stop_V = regV "parar" ; 
+   jump_V = regV "saltar" ;
+
+} ;

lib/resource-1.0/spanish/MorphoSpa.gf

@@ -0,0 +1,162 @@
+--# -path=.:../romance:../common:../../prelude
+
+--1 A Simple Spanish Resource Morphology
+--
+-- Aarne Ranta 2002 -- 2005
+--
+-- This resource morphology contains definitions needed in the resource
+-- syntax. To build a lexicon, it is better to use $ParadigmsSpa$, which
+-- gives a higher-level access to this module.
+
+resource MorphoSpa = CommonRomance, ResSpa ** 
+  open PhonoSpa, Prelude, Predef in {
+
+  flags optimize=all ;
+
+
+
+--2 Nouns
+--
+-- The following macro is useful for creating the forms of number-dependent
+-- tables, such as common nouns.
+
+oper
+  numForms : (_,_ : Str) -> Number => Str = \vino, vini ->
+    table {Sg => vino ; Pl => vini} ; 
+
+-- For example:
+
+  nomVino : Str -> Number => Str = \vino -> let {vin = Predef.tk 1 vino} in
+    numForms vino (vin + "i") ;
+
+  nomRana : Str -> Number => Str = \rana -> let {ran = Predef.tk 1 rana} in
+    numForms rana (ran + "e") ;
+
+  nomSale : Str -> Number => Str = \sale -> let {sal = Predef.tk 1 sale} in
+    numForms sale (sal + "i") ;
+
+  nomTram : Str -> Number => Str = \tram ->
+    numForms tram tram ;
+
+-- Common nouns are inflected in number and have an inherent gender.
+
+  mkNoun : (Number => Str) -> Gender -> Noun = \mecmecs,gen -> 
+    {s = mecmecs ; g = gen} ;
+
+  mkNounIrreg : Str -> Str -> Gender -> Noun = \mec,mecs -> 
+    mkNoun (numForms mec mecs) ;
+
+  mkNomReg : Str -> Noun = \vino -> 
+   let
+     o = last vino ;
+     vin = init vino ;
+     n = last vin
+   in
+   case o of {
+     "o" => {s = case n of {
+       "c" | "g" => numForms vino (vin + "hi") ;
+       "i"       => numForms vino vin ;
+       _         => numForms vino (vin + "i")
+       } ; g = Masc} ;
+     "a" => {s = case n of {
+       "c" | "g" => numForms vino (vin + "he") ;
+       _         => numForms vino (vin + "e")
+       } ; g = Fem} ;
+     "e" => {s = numForms vino (vin + "i")
+       ; g = Masc} ;
+     "à" | "ù" => {s = numForms vino vino
+       ; g = Fem} ;
+     _ => {s = numForms vino vino
+       ; g = Masc}
+     } ;
+
+
+
+--2 Adjectives
+--
+-- Adjectives are conveniently seen as gender-dependent nouns.
+-- Here are some patterns. First one that describes the worst case.
+
+  mkAdj : (_,_,_,_,_ : Str) -> Adj = \solo,sola,soli,sole,solamente ->
+    {s = table {
+       AF Masc n => numForms solo soli ! n ;
+       AF Fem  n => numForms sola sole ! n ;
+       AA        => solamente
+       }
+    } ;
+
+-- Then the regular and invariant patterns.
+
+  adjSolo : Str -> Adj = \solo -> 
+    let 
+      sol = Predef.tk 1 solo
+    in
+    mkAdj solo (sol + "a") (sol + "i") (sol + "e") (sol + "amente") ;
+
+  adjTale : Str -> Adj = \tale -> 
+    let 
+      tal  = Predef.tk 1 tale ;
+      tali = tal + "i" ;
+      tala = if_then_Str (pbool2bool (Predef.occur (Predef.dp 1 tal) "lr")) tal tale
+    in
+    mkAdj tale tale tali tali (tala + "mente") ;
+
+  adjBlu : Str -> Adj = \blu -> 
+    mkAdj blu blu blu blu blu ; --- 
+
+
+  mkAdjReg : Str -> Adj = \solo ->
+   let
+     o = last solo ;
+     sol = init solo ;
+     l = last sol ;
+     solamente = (sol + "amente")
+   in
+   case o of {
+     "o" => case l of {
+       "c" | "g" => mkAdj solo (sol + "a") (sol + "hi") (sol + "he") solamente ;
+       "i"       => mkAdj solo (sol + "a") sol (sol + "e") solamente ;
+       _         => mkAdj solo (sol + "a") (sol + "i") (sol + "e") solamente
+       } ;
+     "e" => mkAdj solo solo (sol + "i") (sol + "i") (case l of {
+       "l" => sol + "mente" ;
+       _   => solo + "mente"
+       }) ;
+     _ => mkAdj solo solo solo solo (sol + "mente")
+     } ;
+
+
+--2 Personal pronouns
+--
+-- All the eight personal pronouns can be built by the following macro.
+-- The use of "ne" as atonic genitive is debatable.
+-- We follow the rule that the atonic nominative is empty.
+
+  mkPronoun : (_,_,_,_,_,_,_,_ : Str) -> 
+              Gender -> Number -> Person -> ClitType -> Pronoun =
+    \il,le,lui,Lui,son,sa,ses,see,g,n,p,c ->
+    {s = table {
+       Ton Nom => il ;
+       Ton x => prepCase x ++ Lui ;
+       Aton Nom => il ; ---- [] ;
+       Aton Acc => le ;
+       Aton (CPrep P_di) => "ne" ; --- hmm
+       Aton (CPrep P_a) => lui ;
+       Aton q       => prepCase q ++ Lui ; ---- GF bug with c or p! 
+       Poss {n = Sg ; g = Masc} => son ;
+       Poss {n = Sg ; g = Fem}  => sa ;
+       Poss {n = Pl ; g = Masc} => ses ;
+       Poss {n = Pl ; g = Fem}  => see
+       } ;
+     a = {g = g ; n = n ; p = p} ;
+     c = c
+    } ;
+
+--2 Determiners
+--
+-- Determiners, traditionally called indefinite pronouns, are inflected
+-- in gender and number, like adjectives.
+
+  pronForms : Adj -> Gender -> Number -> Str = \tale,g,n -> tale.s ! AF g n ;
+
+}

lib/resource-1.0/spanish/NounSpa.gf

@@ -0,0 +1,2 @@
+concrete NounSpa of Noun = CatSpa ** NounRomance with
+  (ResRomance = ResSpa) ;

lib/resource-1.0/spanish/NumeralSpa.gf

@@ -0,0 +1,72 @@
+concrete NumeralSpa of Numeral = CatSpa ** 
+  open CommonRomance, ResRomance, MorphoSpa, Prelude in {
+
+lincat 
+  Digit = {s : DForm => CardOrd => Str} ;
+  Sub10 = {s : DForm => CardOrd => Str ; n : Number} ;
+  Sub100 = {s : CardOrd => Str ; n : Number} ;
+  Sub1000 = {s : CardOrd => Str ; n : Number} ;
+  Sub1000000 = {s : CardOrd => Str ; n : Number} ;
+
+lin num x = x ;
+
+lin n2 = mkTal "due"     "dodici"      "venti"     "secondo" ;
+lin n3 = mkTal "tre"     "tredici"     "trenta"    "terzo" ;
+lin n4 = mkTal "quattro" "quattordici" "quaranta"  "quarto" ;
+lin n5 = mkTal "cinque"  "quindici"    "cinquanta" "quinto" ;
+lin n6 = mkTal "sei"     "sedici"      "sessanta"  "sesto" ;
+lin n7 = mkTal "sette"   "diciassette" "settanta"  "settimo" ; --- diciasettesimo?
+lin n8 = mkTal "otto"    "diciotto"    "ottanta"   "ottavo" ;
+lin n9 = mkTal "nove"    "diciannove"  "novanta"   "nono" ;
+
+lin pot01 = 
+  let uno = (mkTal "uno" "undici" "dieci" "primo").s in
+  {s =\\f,g => case f of {
+     ental pred => [] ;
+     _ => uno ! f ! g
+     } ; 
+   n = Pl} ;
+
+lin pot0 d = {s = d.s ; n = Pl} ;
+lin pot110 = spl ((mkTal "dieci" [] [] "decimo").s ! ental indip) ;
+lin pot111 = spl ((mkTal "undici" [] [] "undicesimo").s ! ental indip) ;
+lin pot1to19 d = spl (d.s ! ton) ;
+lin pot0as1 n = {s = n.s ! ental indip ; n = n.n} ;
+lin pot1 d = spl (d.s ! tiotal) ;
+lin pot1plus d e = 
+  {s = \\g => d.s ! tiotal ! NCard Masc ++ e.s ! ental indip ! g ; n = Pl} ;
+lin pot1as2 n = n ;
+lin pot2 d = spl (\\co => d.s ! ental pred ! NCard Masc ++ 
+  (mkTal "cento" [] [] "centesimo").s ! ental indip ! co) ;
+lin pot2plus d e = 
+  {s = \\g => d.s ! ental pred ! NCard Masc ++ "cento" ++ e.s ! g ; n = Pl} ;
+lin pot2as3 n = n ;
+lin pot3 n = spl (\\co => n.s ! NCard Masc ++ 
+  (mkTal (mille ! n.n) [] [] "millesimo").s ! ental indip ! co) ;
+lin pot3plus n m = {s = \\g => n.s ! NCard Masc ++ mille ! n.n ++ m.s ! g ; n = Pl} ;
+
+oper
+  mkTal : (x1,_,_,x4 : Str) -> {s : DForm => CardOrd => Str} =
+    \due,dodici,venti,secondo -> {s = \\d,co => case <d,co> of {
+       <ental _, NCard _>  => due ;
+       <ental _, NOrd g n> => pronForms (adjSolo secondo) g n ;
+       <tiotal,  NCard _>  => venti ;
+       <tiotal,  NOrd g n> => regCard venti g n ;
+       <ton,     NCard _>  => venti ;
+       <ton,     NOrd g n> => regCard venti g n
+       }
+    } ;
+
+  regCard : Str -> Gender -> Number -> Str = \venti ->
+    pronForms (adjSolo (init venti + "esimo")) ;
+
+  spl : (CardOrd => Str) -> {s : CardOrd => Str ; n : Number} = \s -> {
+    s = s ;
+    n = Pl
+    } ;
+
+oper mille : Number => Str = table {Sg => "mille" ; Pl => "mila"} ;
+param DForm = ental Pred | ton | tiotal  ;
+param Pred = pred | indip ;
+
+}

lib/resource-1.0/spanish/ParadigmsSpa.gf

@@ -0,0 +1,389 @@
+--# -path=.:../romance:../common:../abstract:../../prelude
+
+--1 Spanish Lexical Paradigms
+--
+-- Aarne Ranta 2003
+--
+-- This is an API to the user of the resource grammar 
+-- for adding lexical items. It gives functions for forming
+-- expressions of open categories: nouns, adjectives, verbs.
+-- 
+-- Closed categories (determiners, pronouns, conjunctions) are
+-- accessed through the resource syntax API, $Structural.gf$. 
+--
+-- The main difference with $MorphoSpa.gf$ is that the types
+-- referred to are compiled resource grammar types. We have moreover
+-- had the design principle of always having existing forms, rather
+-- than stems, as string arguments of the paradigms.
+--
+-- The structure of functions for each word class $C$ is the following:
+-- first we give a handful of patterns that aim to cover all
+-- regular cases. Then we give a worst-case function $mkC$, which serves as an
+-- escape to construct the most irregular words of type $C$.
+
+resource ParadigmsSpa = 
+  open 
+    (Predef=Predef), 
+    Prelude, 
+    CommonRomance, 
+    ResSpa, 
+    MorphoSpa, 
+    BeschSpa,
+    CatSpa in {
+
+  flags optimize=all ;
+
+--2 Parameters 
+--
+-- To abstract over gender names, we define the following identifiers.
+
+oper
+  Gender : Type ; 
+
+  masculine : Gender ;
+  feminine  : Gender ;
+
+-- To abstract over number names, we define the following.
+
+  Number : Type ; 
+
+  singular : Number ;
+  plural   : Number ;
+
+-- Prepositions used in many-argument functions are either strings
+-- (including the 'accusative' empty string) or strings that
+-- amalgamate with the following word (the 'genitive' "de" and the
+-- 'dative' "à").
+
+  Preposition : Type ;
+
+  accusative : Preposition ;
+  genitive   : Preposition ;
+  dative     : Preposition ;
+
+  mkPreposition : Str -> Preposition ;
+
+
+--2 Nouns
+
+-- Worst case: two forms (singular + plural),
+-- and the gender.
+
+  mkN  : (_,_ : Str) -> Gender -> N ;   -- uomo, uomini, masculine
+
+-- The regular function takes the singular form and the gender,
+-- and computes the plural and the gender by a heuristic. 
+-- The heuristic says that the gender is feminine for nouns
+-- ending with "a" or "z", and masculine for all other words.
+-- Nouns ending with "a", "o", "e" have the plural with "s",
+-- those ending with "z" have "ces" in plural; all other nouns
+-- have "es" as plural ending. The accent is not dealt with.
+
+  regN : Str -> N ;
+
+-- To force a different gender, use one of the following functions.
+
+  mascN : N -> N ;
+  femN  : N -> N ;
+
+--3 Compound nouns 
+--
+-- Some nouns are ones where the first part is inflected as a noun but
+-- the second part is not inflected. e.g. "numéro de téléphone". 
+-- They could be formed in syntax, but we give a shortcut here since
+-- they are frequent in lexica.
+
+  compN : N -> Str -> N ;
+
+
+--3 Relational nouns 
+-- 
+-- Relational nouns ("fille de x") need a case and a preposition. 
+
+  mkN2 : N -> Preposition -> N2 ;
+
+-- The most common cases are the genitive "de" and the dative "a", 
+-- with the empty preposition.
+
+  deN2 : N -> N2 ;
+  aN2  : N -> N2 ;
+
+-- Three-place relational nouns ("la connessione di x a y") need two prepositions.
+
+  mkN3 : N -> Preposition -> Preposition -> N3 ;
+
+
+--3 Relational common noun phrases
+--
+-- In some cases, you may want to make a complex $CN$ into a
+-- relational noun (e.g. "the old town hall of"). However, $N2$ and
+-- $N3$ are purely lexical categories. But you can use the $AdvCN$
+-- and $PrepNP$ constructions to build phrases like this.
+
+-- 
+--3 Proper names and noun phrases
+--
+-- Proper names need a string and a gender.
+
+  mkPN : Str -> Gender -> PN ;          -- Jean
+
+-- To form a noun phrase that can also be plural,
+-- you can use the worst-case function.
+
+  mkNP : Str -> Gender -> Number -> NP ; 
+
+--2 Adjectives
+
+-- Non-comparison one-place adjectives need five forms in the worst
+-- case (masc and fem singular, masc plural, adverbial).
+
+  mkA : (solo,sola,soli,sole, solamente : Str) -> A ;
+
+-- For regular adjectives, all other forms are derived from the
+-- masculine singular. The types of adjectives that are recognized are
+-- "alto", "fuerte", "util".
+
+  regA : Str -> A ;
+
+-- These functions create postfix adjectives. To switch
+-- them to prefix ones (i.e. ones placed before the noun in
+-- modification, as in "petite maison"), the following function is
+-- provided.
+
+  prefA : A -> A ;
+
+--3 Two-place adjectives
+--
+-- Two-place adjectives need a preposition for their second argument.
+
+  mkA2 : A -> Preposition -> A2 ;
+
+--3 Comparison adjectives 
+
+-- Comparison adjectives are in the worst case put up from two
+-- adjectives: the positive ("bueno"), and the comparative ("mejor"). 
+
+  mkADeg : A -> A -> A ;
+
+-- If comparison is formed by "mas", as usual in Spanish,
+-- the following pattern is used:
+
+  compADeg : A -> A ;
+
+-- The regular pattern is the same as $regA$ for plain adjectives, 
+-- with comparison by "mas".
+
+  regADeg : Str -> A ;
+
+
+--2 Adverbs
+
+-- Adverbs are not inflected. Most lexical ones have position
+-- after the verb. 
+
+  mkAdv : Str -> Adv ;
+
+-- Some appear next to the verb (e.g. "siempre").
+
+  mkAdV : Str -> AdV ;
+
+-- Adverbs modifying adjectives and sentences can also be formed.
+
+  mkAdA : Str -> AdA ;
+
+
+--2 Verbs
+--
+-- Regular verbs are ones inflected like "cortar", "deber", or "vivir".
+-- The regular verb function is the first conjugation ("ar") recognizes
+-- the variations corresponding to the patterns
+-- "actuar, cazar, guiar, pagar, sacar". The module $BeschSpa$ gives
+-- the complete set of "Bescherelle" conjugations.
+
+  regV : Str -> V ;
+
+-- The module $BeschSpa$ gives all the patterns of the "Bescherelle"
+-- book. To use them in the category $V$, wrap them with the function
+
+  verboV : Verbum -> V ;
+
+-- To form reflexive verbs:
+
+  reflV : V -> V ;
+
+-- Verbs with a deviant passive participle: just give the participle
+-- in masculine singular form as second argument.
+
+  special_ppV : V -> Str -> V ; 
+
+--3 Two-place verbs
+--
+-- Two-place verbs need a preposition, except the special case with direct object.
+-- (transitive verbs). Notice that a particle comes from the $V$.
+
+  mkV2  : V -> Preposition -> V2 ;
+
+  dirV2 : V -> V2 ;
+
+-- You can reuse a $V2$ verb in $V$.
+
+  v2V : V2 -> V ;
+
+--3 Three-place verbs
+--
+-- Three-place (ditransitive) verbs need two prepositions, of which
+-- the first one or both can be absent.
+
+  mkV3     : V -> Preposition -> Preposition -> V3 ; -- parler, à, de
+  dirV3    : V -> Preposition -> V3 ;                -- donner,_,à
+  dirdirV3 : V -> V3 ;                               -- donner,_,_
+
+--3 Other complement patterns
+--
+-- Verbs and adjectives can take complements such as sentences,
+-- questions, verb phrases, and adjectives.
+
+  mkV0  : V -> V0 ;
+  mkVS  : V -> VS ;
+  mkV2S : V -> Preposition -> V2S ;
+  mkVV  : V -> VV ;  -- plain infinitive: "je veux parler"
+  deVV  : V -> VV ;  -- "j'essaie de parler"
+  aVV   : V -> VV ;  -- "j'arrive à parler"
+  mkV2V : V -> Preposition -> Preposition -> V2V ;
+  mkVA  : V -> VA ;
+  mkV2A : V -> Preposition -> V2A ;
+  mkVQ  : V -> VQ ;
+  mkV2Q : V -> Preposition -> V2Q ;
+
+  mkAS   : A -> AS ;
+  subjAS : A -> AS ;
+  mkA2S : A -> Preposition -> A2S ;
+  mkAV  : A -> Preposition -> AV ;
+  mkA2V : A -> Preposition -> Preposition -> A2V ;
+
+-- Notice: categories $V2S, V2V, V2A, V2Q$ are in v 1.0 treated
+-- just as synonyms of $V2$, and the second argument is given
+-- as an adverb. Likewise $AS, A2S, AV, A2V$ are just $A$.
+-- $V0$ is just $V$.
+
+  V0, V2S, V2V, V2A, V2Q : Type ;
+  AS, A2S, AV, A2V : Type ;
+
+
+--2 The definitions of the paradigms
+--
+-- The definitions should not bother the user of the API. So they are
+-- hidden from the document.
+--.
+
+  Gender = MorphoSpa.Gender ; 
+  Number = MorphoSpa.Number ;
+  masculine = Masc ;
+  feminine = Fem ;
+  singular = Sg ;
+  plural = Pl ;
+
+  Preposition = Compl ;
+  accusative = complAcc ;
+  genitive = complGen ;
+  dative = complDat ;
+  mkPreposition p = {s = p ; c = Acc ; isDir = False} ;
+
+
+  mkN x y g = mkNounIrreg x y g ** {lock_N = <>} ;
+  regN x = mkNomReg x ** {lock_N = <>} ;
+  compN x y = {s = \\n => x.s ! n ++ y ; g = x.g ; lock_N = <>} ;
+  femN x = {s = x.s ; g = feminine ; lock_N = <>} ;
+  mascN x = {s = x.s ; g = masculine ; lock_N = <>} ;
+
+  mkN2 = \n,p -> n ** {lock_N2 = <> ; c2 = p} ;
+  deN2 n = mkN2 n genitive ;
+  aN2 n = mkN2 n dative ;
+  mkN3 = \n,p,q -> n ** {lock_N3 = <> ; c2 = p ; c3 = q} ;
+
+  mkPN x g = {s = x ; g = g} ** {lock_PN = <>} ;
+  mkNP x g n = {s = (pn2np (mkPN x g)).s; a = agrP3 g n ; c = Clit0} ** {lock_NP = <>} ;
+
+  mkA a b c d e = 
+   compADeg {s = \\_ => (mkAdj a b c d e).s ; isPre = False ; lock_A = <>} ;
+  regA a = compADeg {s = \\_ => (mkAdjReg a).s ; isPre = False ; lock_A = <>} ;
+  prefA a = {s = a.s ; isPre = True ; lock_A = <>} ;
+
+  mkA2 a p = a ** {c2 = p ; lock_A2 = <>} ;
+
+  mkADeg a b = 
+   {s = table {Posit => a.s ! Posit ; _ => b.s ! Posit} ; 
+    isPre = a.isPre ; lock_A = <>} ;
+  compADeg a = 
+    {s = table {Posit => a.s ! Posit ; _ => \\f => "più" ++ a.s ! Posit ! f} ; 
+     isPre = a.isPre ;
+     lock_A = <>} ;
+  regADeg a = compADeg (regA a) ;
+
+  mkAdv x = ss x ** {lock_Adv = <>} ;
+  mkAdV x = ss x ** {lock_AdV = <>} ;
+  mkAdA x = ss x ** {lock_AdA = <>} ;
+
+  regV x = -- cortar actuar cazar guiar pagar sacar
+    let 
+      ar = Predef.dp 2 x ;
+      z  = Predef.dp 1 (Predef.tk 2 x) ;
+      verb = case ar of {
+        "ir" =>  vivir_7 x ;
+        "er" =>  deber_6 x ;
+        _ => case z of {
+           "u" => actuar_9 x ;
+           "z" => cazar_21 x ;
+           "i" => guiar_43 x ;
+           "g" => pagar_53 x ;
+           "c" => sacar_72 x ;
+           _   => cortar_5 x
+            }
+          }
+    in verbBesch verb ** {vtyp = VHabere ; lock_V = <>} ;
+
+  reflV v = {s = v.s ; vtyp = VRefl ; lock_V = <>} ;
+
+  verboV ve = verbBesch ve ** {vtyp = VHabere ; lock_V = <>} ;
+
+  special_ppV ve pa = {
+    s = table {
+      VPart g n => (adjSolo pa).s ! AF g n ;
+      p => ve.s ! p
+      } ;
+    lock_V = <> ;
+    vtyp = VHabere
+    } ;
+
+  mkV2 v p = {s = v.s ; vtyp = v.vtyp ; c2 = p ; lock_V2 = <>} ;
+  dirV2 v = mkV2 v accusative ;
+  v2V v = v ** {lock_V = <>} ;
+
+  mkV3 v p q = {s = v.s ; vtyp = v.vtyp ; 
+    c2 = p ; c3 = q ; lock_V3 = <>} ;
+  dirV3 v p = mkV3 v accusative p ;
+  dirdirV3 v = dirV3 v dative ;
+
+  V0 : Type = V ;
+  V2S, V2V, V2Q, V2A : Type = V2 ;
+  AS, AV : Type = A ;
+  A2S, A2V : Type = A2 ;
+
+  mkV0  v = v ** {lock_V0 = <>} ;
+  mkVS  v = v ** {m = \\_ => Indic ; lock_VS = <>} ;  ---- more moods
+  mkV2S v p = mkV2 v p ** {mn,mp = Indic ; lock_V2S = <>} ;
+  mkVV  v = v ** {c2 = complAcc ; lock_VV = <>} ;
+  deVV  v = v ** {c2 = complGen ; lock_VV = <>} ;
+  aVV  v = v ** {c2 = complDat ; lock_VV = <>} ;
+  mkV2V v p t = mkV2 v p ** {c3 = t.p1  ; s3 = p.p2 ; lock_V2V = <>} ;
+  mkVA  v = v ** {lock_VA = <>} ;
+  mkV2A v p = mkV2 v p ** {lock_V2A = <>} ;
+  mkVQ  v = v ** {lock_VQ = <>} ;
+  mkV2Q v p = mkV2 v p ** {lock_V2Q = <>} ;
+
+  mkAS  v = v ** {lock_AS = <>} ; ---- more moods
+  mkA2S v p = mkA2 v p ** {lock_A2S = <>} ;
+  mkAV  v p = v ** {c = p.p1 ; s2 = p.p2 ; lock_AV = <>} ;
+  mkA2V v p q = mkA2 v p ** {s3 = q.p2 ; c3 = q.p1 ; lock_A2V = <>} ;
+
+} ;

lib/resource-1.0/spanish/PhonoSpa.gf

@@ -0,0 +1,14 @@
+resource PhonoSpa = open Prelude in {
+
+--3 Elision
+--
+-- The phonological rule of *elision* can be defined as follows in GF.
+-- In Spanish it includes both vowels and 'h'.
+
+oper 
+  vocale : Strs = strs {
+    "a" ; "e" ; "h" ; "i" ; "o" ; "u"
+    } ;
+
+
+}

lib/resource-1.0/spanish/PhraseSpa.gf

@@ -0,0 +1,2 @@
+concrete PhraseSpa of Phrase = CatSpa ** PhraseRomance with
+  (ResRomance = ResSpa) ;

lib/resource-1.0/spanish/QuestionSpa.gf

@@ -0,0 +1,2 @@
+concrete QuestionSpa of Question = CatSpa ** QuestionRomance with
+  (ResRomance = ResSpa) ;

lib/resource-1.0/spanish/RelativeSpa.gf

@@ -0,0 +1,2 @@
+concrete RelativeSpa of Relative = CatSpa ** RelativeRomance with
+  (ResRomance = ResSpa) ;

lib/resource-1.0/spanish/ResSpa.gf

@@ -0,0 +1,11 @@
+--1 Spanish auxiliary operations.
+--
+---- This module contains operations that are needed to make the
+---- resource syntax work. To define everything that is needed to
+---- implement $Test$, it moreover contains regular lexical
+---- patterns needed for $Lex$.
+--
+
+instance ResSpa of ResRomance = DiffSpa ** open CommonRomance, Prelude in {
+
+} ;

lib/resource-1.0/spanish/SentenceSpa.gf

@@ -0,0 +1,2 @@
+concrete SentenceSpa of Sentence = CatSpa ** SentenceRomance with
+  (ResRomance = ResSpa) ;

lib/resource-1.0/spanish/StructuralSpa.gf

@@ -0,0 +1,136 @@
+concrete StructuralSpa of Structural = CatSpa ** 
+  open PhonoSpa, MorphoSpa, ParadigmsSpa, BeschSpa, Prelude in {
+
+  flags optimize=all ;
+
+lin
+
+  above_Prep = {s = ["sopra"] ; c = MorphoSpa.genitive ; isDir = False} ;
+  after_Prep = mkPreposition "dopo" ;
+  all_Predet = {
+    s = \\a,c => prepCase c ++ aagrForms "tutto" "tutta" "tutti" "tutte" ! a ;
+    c = Nom
+    } ;
+  almost_AdA, almost_AdN = ss "quasi" ;
+  always_AdV = ss "sempre" ;
+  although_Subj = ss "benché" ** {m = Conjunct} ;
+  and_Conj = ss "e" ** {n = Pl} ;
+  because_Subj = ss "perché" ** {m = Indic} ;
+  before_Prep = mkPreposition "prima" ;
+  behind_Prep = mkPreposition "dietro" ;
+  between_Prep = mkPreposition "fra" ;
+  both7and_DConj = {s1,s2 = "e" ; n = Pl} ;
+  but_PConj = ss "ma" ;
+  by8agent_Prep = {s = [] ; c = CPrep P_da} ;
+  by8means_Prep = mkPreposition "per" ;
+  can8know_VV = mkVV (verboV (sapere_78 "sapere")) ;
+  can_VV = mkVV (verboV (potere_69 "potere")) ;
+  during_Prep = mkPreposition "durante" ;
+  either7or_DConj = {s1,s2 = "o" ; n = Sg} ;
+  everybody_NP = pn2np (mkPN ["tutto il mondo"] Masc) ;
+  every_Det = {s = \\_,_ => "ogni" ; n = Sg} ;
+  everything_NP = pn2np (mkPN ["tutto"] Masc) ;
+  everywhere_Adv = ss "dappertutto" ;
+  first_Ord = {s = \\ag => (regA "primo").s ! Posit ! AF ag.g ag.n} ;
+  from_Prep = complGen ; ---
+  he_Pron = 
+    mkPronoun
+      "lui" "lo" "gli" "lui" "suo" "sua" "suoi" "sue"
+      Masc Sg P3 Clit2 ;
+  here7from_Adv = ss ["da quì"] ;
+  here7to_Adv = ss "quì" ;
+  here_Adv = ss "quì" ;
+  how_IAdv = ss "come" ;
+  how8many_IDet = {s = \\g,c => prepCase c ++ genForms "quanti" "quante" ! g ; n = Pl} ;
+  if_Subj = ss "se" ** {m = Indic} ;
+  in8front_Prep = mkPreposition "davanti" ;
+  i_Pron = 
+    mkPronoun
+      "io" "mi" "mi" "me" "mio" "mia" "miei" "mie"
+      Fem Sg P1 Clit1 ;
+  in_Prep = {s = [] ; c = CPrep P_in} ;
+  it_Pron = 
+    mkPronoun
+      "lui" "lo" "gli" "lui" "suo" "sua" "suoi" "sue"
+      Masc Sg P3 Clit2 ;
+  less_CAdv = ss "meno" ;
+  many_Det = {s = \\g,c => prepCase c ++ genForms "molti" "molte" ! g ; n = Pl} ;
+  more_CAdv = ss "più" ;
+  most_Predet = {s = \\_,c => prepCase c ++ ["la maggior parte"] ; c = CPrep P_di} ;
+  much_Det = {s = \\g,c => prepCase c ++ genForms "molto" "molta" ! g ; n = Sg} ;
+  must_VV = mkVV (verboV (dovere_47 "dovere")) ;
+  no_Phr = ss "no" ;
+  on_Prep = {s = [] ; c = CPrep P_su} ;
+  one_Quant = {s = \\g,c => prepCase c ++ genForms "uno" "una" ! g} ;
+  only_Predet = {s = \\_,c => prepCase c ++ "soltanto" ; c = Nom} ; --- solo|a|i|e
+  or_Conj = {s = "o" ; n = Sg} ;
+  otherwise_PConj = ss "altramente" ;
+  part_Prep = complGen ;
+  please_Voc = ss ["per favore"] ;
+  possess_Prep = complGen ;
+  quite_Adv = ss "assai" ;
+  she_Pron = 
+    mkPronoun
+      "lei" "la" "le" "lei" "suo" "sua" "suoi" "sue"
+      Fem Sg P3 Clit2 ;
+  so_AdA = ss "così" ;
+  somebody_NP = pn2np (mkPN ["quelcuno"] Masc) ;
+  somePl_Det = {s = \\_,c => prepCase c ++ "qualche" ; n = Pl} ;
+  someSg_Det = {s = \\_,c => prepCase c ++ "qualche" ; n = Sg} ;
+  something_NP = pn2np (mkPN ["qualche cosa"] Masc) ;
+  somewhere_Adv = ss ["qualche parte"] ;
+  that_Quant = {
+    s = table {
+      Sg => \\g,c => prepCase c ++ genForms "quello" "quella" ! g ;
+      Pl => \\g,c => prepCase c ++ genForms "quelli" "quelle" ! g ---- quegli
+      }
+    } ;
+  that_NP = mkNP ["questo"] Masc Sg ;
+  there7from_Adv = ss ["di là"] ;
+  there7to_Adv = ss "là" ; --- ci
+  there_Adv = ss "là" ;
+  therefore_PConj = ss "quindi" ;
+  these_NP = mkNP ["queste"] Fem Pl ;
+  they_Pron = mkPronoun
+    "loro" "loro" "li" "loro" "loro" "loro" "loro" "loro" 
+    Fem Pl P3 Clit1 ;
+  this_Quant = {
+    s = table {
+      Sg => \\g,c => prepCase c ++ genForms "questo" "questa" ! g ;
+      Pl => \\g,c => prepCase c ++ genForms "questi" "queste" ! g
+      }
+    } ;
+  this_NP = pn2np (mkPN ["questo"] Masc) ;
+  those_NP = mkNP ["quelle"] Fem Pl ;
+  through_Prep = mkPreposition "per" ;
+  too_AdA = ss "troppo" ;
+  to_Prep = complDat ;
+  under_Prep = mkPreposition "sotto" ;
+  very_AdA = ss "molto" ;
+  want_VV = mkVV (verboV (volere_96 "volere")) ;
+  we_Pron = 
+    mkPronoun "noi" "ci" "ci" "noi" "nostro" "nostra" "nostri" "nostre"
+    Fem Pl P1 Clit3 ;
+  whatSg_IP = {s = \\c => prepCase c ++ ["che cosa"] ; a = aagr Fem Sg} ;
+  whatPl_IP = {s = \\c => prepCase c ++ ["che cose"] ; a = aagr Fem Pl} ; ---
+  when_IAdv = ss "quando" ;
+  when_Subj = ss "quando" ** {m = Indic} ;
+  where_IAdv = ss "dove" ;
+  whichPl_IDet = {s = \\g,c => prepCase c ++ genForms "quale" "quale" ! g ; n = Sg} ;
+  whichSg_IDet = {s = \\g,c => prepCase c ++ genForms "quali" "quali" ! g; n = Pl} ;
+  whoPl_IP = {s = \\c => prepCase c ++ "chi" ; a = aagr Fem Pl} ;
+  whoSg_IP = {s = \\c => prepCase c ++ "chi" ; a = aagr Fem Sg} ;
+  why_IAdv = ss "perché" ;
+  without_Prep = mkPreposition "senza" ;
+  with_Prep = {s = [] ; c = CPrep P_con} ;
+  yes_Phr = ss "sì" ;
+  youSg_Pron = mkPronoun 
+    "tu" "ti" "ti" "te" "tuo" "tua" "tuoi" "tue"
+    Fem Sg P2 Clit1 ;
+  youPl_Pron =
+    mkPronoun
+       "voi" "vi" "vi" "voi" "vostro" "vostra" "vostri" "vostre"
+       Fem Pl P2 Clit3 ;
+
+}
+

lib/resource-1.0/spanish/VerbSpa.gf

@@ -0,0 +1,2 @@
+concrete VerbSpa of Verb = CatSpa ** VerbRomance with
+  (ResRomance = ResSpa) ;