% File: ariesv.dtr
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                     DTR-GRAMPAL 1.0
%                     ===============
%                 for DATR 2.3      (Sussex)
%                 and QDATR 3.0 #3  (Duesseldorf)
%                 over Sicstus Prolog 2.1 #9
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%            NATURAL LANGUAGE PROCESSING GROUP         
%                 E.T.S.I.TELECOMUNICACIÓN
%            UNIVERSIDAD POLITÉCNICA DE MADRID
%     Depts: Matemática Aplicada a las TT.II. (mat)
%            Ingeniería de Sistemas Telemáticos (dit)
%
%     Written by:     José M. Goñi-Menoyo
%     Collaborators:  José C. González-Cristóbal,
%                      Antonio Moreno-Sandoval
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% HIDE: Auxiliary models that are not shown in
%        datr_theorem queries
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# hide
                                   % Syntactic model
        VERB
                                   % Auxiliary models
        C123        C23
        INFIN       GER           PART1       PART2
        PRES        PRET1         PRET1-13    PRET1-135
        PRET2       PRET2-23456   PRET2-36    PRET2-245
        PRET2-6     FUTCOND       IMPSUBJ     IMPER
        AUX-4-STEM  AUX-5-STEM
                                   % Conjugation models
        C1    C2    C3
                                   % One-allomorph models
        REGULAR-V   BULLIR
                                   % Two-allomorph models
        ROMPER   CERRAR     LIAR 
        CAZAR    COGER      VESTIR
        CREER
                                 % Three-allomorph models
        VOLVER    HUIR    SEGUIR  NEGAR   DORMIR
        CAER      VALER   SALIR   QUERER  PODER
        CONDUCIR  CABER   FREIR   OIR
                                   % REÑIR model behaves
                                   % like HUIR so it is
                                   % not included

                                   % Four-allomorph models
        COCER     MORIR   TRAER   SABER
                                   % Five-allomorph models
        TENER     VENIR   PONER
                                   % Six-allomorph models
        DECIR
                                 % Seven-allomorph models
        HACER
                                   % Defective models
        ABOLIR SOLER.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% SHOW: Paths to be shown on queries:
%       Syntactic category and inflecting forms.
%       Alternative forms for particular verbs or models
%       are not included.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# show
                                        % Category
<syn cat>
                                        % Simple forms
<wf inf> <wf ger> <wf part>
<wf ind pres 1 sing>    <wf ind pres 2 sing>
<wf ind pres 3 sing>    <wf ind pres 1 plu>
<wf ind pres 2 plu>     <wf ind pres 3 plu>
<wf ind impf 1 sing>    <wf ind impf 2 sing>
<wf ind impf 3 sing>    <wf ind impf 1 plu>
<wf ind impf 2 plu>     <wf ind impf 3 plu>
<wf ind indf 1 sing>    <wf ind indf 2 sing>
<wf ind indf 3 sing>    <wf ind indf 1 plu>
<wf ind indf 2 plu>     <wf ind indf 3 plu>
<wf ind fut 1 sing>     <wf ind fut 2 sing>
<wf ind fut 3 sing>     <wf ind fut 1 plu>
<wf ind fut 2 plu>      <wf ind fut 3 plu>
<wf subj pres 1 sing>   <wf subj pres 2 sing>
<wf subj pres 3 sing>   <wf subj pres 1 plu>
<wf subj pres 2 plu>    <wf subj pres 3 plu>
<wf subj impf 1 sing>   <wf subj impf 1 sing alt>
<wf subj impf 2 sing>   <wf subj impf 2 sing alt>
<wf subj impf 3 sing>   <wf subj impf 3 sing alt>
<wf subj impf 1 plu>    <wf subj impf 1 plu alt>
<wf subj impf 2 plu>    <wf subj impf 2 plu alt>
<wf subj impf 3 plu>    <wf subj impf 3 plu alt>
<wf cond 1 sing>        <wf cond 2 sing>
<wf cond 3 sing>        <wf cond 1 plu>
<wf cond 2 plu>         <wf cond 3 plu>
<wf imper 2 sing>       <wf imper pol sing>
<wf imper 2 plu>        <wf imper pol plu>.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% SYNTACTIC MODEL
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
VERB:
  <syn cat>               == verb.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% MODELS FOR CONJUGATION TYPES
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
C123:
  <des reg ind pres 1 sing>           == o
  <des pret1 ind indf 1 sing>         == e
  <des pret1 ind indf 3 sing>         == o.

C23:
  <des>                               == C123:<des>
  <des reg ger>                       == iendo
  <des reg part>                      == ido
  <des reg ind pres 2 sing>           == es
  <des reg ind pres 3 sing>           == e
  <des reg ind pres 3 plu>            == en
  <des reg ind impf 1 sing>           == 'ía'
  <des reg ind impf 2 sing>           == 'ías'
  <des reg ind impf 3 sing>           ==
                                 <des reg ind impf 1 sing>
  <des reg ind impf 1 plu>            == 'íamos'
  <des reg ind impf 2 plu>            == 'íais'
  <des reg ind impf 3 plu>            == 'ían'
  <des reg ind indf 1 sing>           == 'í'
  <des reg ind indf 2 sing>           == iste
  <des reg ind indf 3 sing>           == 'ió'
  <des reg ind indf 1 plu>            == imos
  <des reg ind indf 2 plu>            == isteis
  <des reg ind indf 3 plu>            == ieron
  <des reg subj pres 1 sing>          == a
  <des reg subj pres 2 sing>          == as
  <des reg subj pres 3 sing>          ==
                                <des reg subj pres 1 sing>
  <des reg subj pres 1 plu>           == amos
  <des reg subj pres 2 plu>           == 'áis'
  <des reg subj pres 3 plu>           == an
  <des reg subj impf 1 sing>          == iera
  <des reg subj impf 2 sing>          == ieras
  <des reg subj impf 3 sing>          ==
                                <des reg subj impf 1 sing>
  <des reg subj impf 1 plu>           == íéramos'
  <des reg subj impf 2 plu>           == ierais
  <des reg subj impf 3 plu>           == ieran
  <des reg subj impf 1 sing alt>      == iese
  <des reg subj impf 2 sing alt>      == ieses
  <des reg subj impf 3 sing alt>      ==
                            <des reg subj impf 1 sing alt>
  <des reg subj impf 1 plu alt>       == 'iésemos'
  <des reg subj impf 2 plu alt>       == ieseis
  <des reg subj impf 3 plu alt>       == iesen
  <des reg imper 2 sing>              == e
  <des infin inf>                     == 'ír'
  <des ger ger>                       == endo
  <des part1 part>                    == o
  <des part2 part>                    == 'ído'
  <des pret1 ind indf 2 sing>         == iste
  <des pret1 ind indf 1 plu>          == imos
  <des pret1 ind indf 2 plu>          == isteis
  <des pret1 ind indf 3 plu>          == ieron
  <des pret2 ind indf 1 sing>         == 'í'
  <des pret2 ind indf 2 sing>         == 'íste'
  <des pret2 ind indf 3 sing>         == 'ó'
  <des pret2 ind indf 1 plu>          == 'ímos'
  <des pret2 ind indf 2 plu>          == 'ísteis'
  <des pret2 ind indf 3 plu>          == eron
  <des fut_cond ind fut 1 sing>       == 'ré'
  <des fut_cond ind fut 2 sing>       == 'rás'
  <des fut_cond ind fut 3 sing>       == 'rá'
  <des fut_cond ind fut 1 plu>        == remos
  <des fut_cond ind fut 2 plu>        == 'réis'
  <des fut_cond ind fut 3 plu>        == 'rán'
  <des imp_subj subj impf 1 sing>     == era
  <des imp_subj subj impf 2 sing>     == eras
  <des imp_subj subj impf 3 sing>     ==
                           <des imp_subj subj impf 1 sing>
  <des imp_subj subj impf 1 plu>      == 'éramos'
  <des imp_subj subj impf 2 plu>      == erais
  <des imp_subj subj impf 3 plu>      == eran
  <des imp_subj subj impf 1 sing alt> == ese
  <des imp_subj subj impf 2 sing alt> == eses
  <des imp_subj subj impf 3 sing alt> ==
                       <des imp_subj subj impf 1 sing alt>
  <des imp_subj subj impf 1 plu alt>  == 'ésemos'
  <des imp_subj subj impf 2 plu alt>  == eseis
  <des imp_subj subj impf 3 plu alt>  == esen
  <des fut_cond cond 1 sing>          == 'ría'
  <des fut_cond cond 2 sing>          == 'rías'
  <des fut_cond cond 3 sing>          ==
                                <des fut_cond cond 1 sing>
  <des fut_cond cond 1 plu>           == 'ríamos'
  <des fut_cond cond 2 plu>           == 'ríais'
  <des fut_cond cond 3 plu>           == 'rían'
  <des imper imper 2 plu>             == 'íd'.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% LEAF CONJUGATION-TYPE MODELS
% INCLUDE ALL SUFFIXES NEEDED FOR EACH CONJUGATION TYPE
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
C1:
  <des>                               == C123:<des>
  <des reg inf>                       == ar
  <des reg ger>                       == ando
  <des reg part>                      == ado
  <des reg ind pres 2 sing>           == as
  <des reg ind pres 3 sing>           == a
  <des reg ind pres 1 plu>            == amos
  <des reg ind pres 2 plu>            == 'áis'
  <des reg ind pres 3 plu>            == an
  <des reg ind impf 1 sing>           == aba
  <des reg ind impf 2 sing>           == abas
  <des reg ind impf 3 sing>           ==
                                 <des reg ind impf 1 sing>
  <des reg ind impf 1 plu>            == 'ábamos'
  <des reg ind impf 2 plu>            == abais
  <des reg ind impf 3 plu>            == aban
  <des reg ind indf 1 sing>           == 'é'
  <des reg ind indf 2 sing>           == aste
  <des reg ind indf 3 sing>           == 'ó'
  <des reg ind indf 1 plu>            == amos
  <des reg ind indf 2 plu>            == asteis
  <des reg ind indf 3 plu>            == aron
  <des reg ind fut 1 sing>            == 'aré'
  <des reg ind fut 2 sing>            == 'arás'
  <des reg ind fut 3 sing>            == 'ará'
  <des reg ind fut 1 plu>             == aremos
  <des reg ind fut 2 plu>             == 'aréis'
  <des reg ind fut 3 plu>             == 'arán'
  <des reg subj pres 1 sing>          == e
  <des reg subj pres 2 sing>          == es
  <des reg subj pres 3 sing>          ==
                                <des reg subj pres 1 sing>
  <des reg subj pres 1 plu>           == emos
  <des reg subj pres 2 plu>           == 'éis'
  <des reg subj pres 3 plu>           == en
  <des reg subj impf 1 sing>          == ara
  <des reg subj impf 2 sing>          == aras
  <des reg subj impf 3 sing>          ==
                                <des reg subj impf 1 sing>
  <des reg subj impf 1 plu>           == 'áramos'
  <des reg subj impf 2 plu>           == arais
  <des reg subj impf 3 plu>           == aran
  <des reg subj impf 1 sing alt>      == ase
  <des reg subj impf 2 sing alt>      == ases
  <des reg subj impf 3 sing alt>      ==
                            <des reg subj impf 1 sing alt>
  <des reg subj impf 1 plu alt>       == 'ásemos'
  <des reg subj impf 2 plu alt>       == aseis
  <des reg subj impf 3 plu alt>       == asen
  <des reg cond 1 sing>               == 'aría'
  <des reg cond 2 sing>               == 'arías'
  <des reg cond 3 sing>               ==
                                     <des reg cond 1 sing>
  <des reg cond 1 plu>                == 'aríamos'
  <des reg cond 2 plu>                == 'aríais'
  <des reg cond 3 plu>                == 'arían'
  <des reg imper 2 sing>              == a
  <des reg imper 2 plu>               == ad.

C2:
  <des>                               == C23:<des>
  <des reg inf>                       == er
  <des reg ind pres 1 plu>            == emos
  <des reg ind pres 2 plu>            == 'éis'
  <des reg ind fut 1 sing>            == 'eré'
  <des reg ind fut 2 sing>            == 'erás'
  <des reg ind fut 3 sing>            == 'erá'
  <des reg ind fut 1 plu>             == eremos
  <des reg ind fut 2 plu>             == 'eréis'
  <des reg ind fut 3 plu>             == 'erán'
  <des reg cond 1 sing>               == 'ería'
  <des reg cond 2 sing>               == 'erías'
  <des reg cond 3 sing>               ==
                                     <des reg cond 1 sing>
  <des reg cond 1 plu>                == 'eríamos'
  <des reg cond 2 plu>                == 'eríais'
  <des reg cond 3 plu>                == 'erían'
  <des reg imper 2 plu>               == ed.

C3:
  <des>                               == C23:<des>
  <des reg inf>                       == ir
  <des reg ind pres 1 plu>            == imos
  <des reg ind pres 2 plu>            == 'ís'
  <des reg ind fut 1 sing>            == 'iré'
  <des reg ind fut 2 sing>            == 'irás'
  <des reg ind fut 3 sing>            == 'irá'
  <des reg ind fut 1 plu>             == iremos
  <des reg ind fut 2 plu>             == 'iréis'
  <des reg ind fut 3 plu>             == 'irán'
  <des reg cond 1 sing>               == 'iría'
  <des reg cond 2 sing>               == 'irías'
  <des reg cond 3 sing>               ==
                                     <des reg cond 1 sing>
  <des reg cond 1 plu>                == 'iríamos'
  <des reg cond 2 plu>                == 'iríais'
  <des reg cond 3 plu>                == 'irían'
  <des reg imper 2 plu>               == id
  <des pres ind pres 1 plu>           == 'ímos'.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% SUFFIX ALLOMORPHY MODELS.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
INFIN:
  <sfx inf>               == "<des infin inf>".

GER:
  <sfx ger>               == "<des ger ger>".

PART1:
  <sfx part>              == "<des part1 part>".

PART2:
  <sfx part>              == "<des part2 part>".

PRES:
  <>                      == REGULAR-V
  <sfx ind pres 1 plu>    == "<des pres ind pres 1 plu>".

PRET1:
  <>                      == REGULAR-V
  <sfx ind indf>          == "<des pret1 ind indf>".

PRET1-13:
  <>                      == REGULAR-V
  <sfx ind indf 1 sing>   ==
                           "<des pret1 ind indf 1 sing>"
  <sfx ind indf 3 sing>   ==
                           "<des pret1 ind indf 3 sing>".

PRET1-135:
  <>                      == REGULAR-V
  <sfx ind indf>          == PRET1-13
  <sfx ind indf 2 plu>    == "<des pret1 ind indf 2 plu>".

PRET2:
  <sfx ind indf>          == "<des pret2 ind indf>".

PRET2-245:
  <>                      == REGULAR-V
  <sfx ind indf 2 sing>   == "<des pret2 ind indf 2 sing>"
  <sfx ind indf 1 plu>    == "<des pret2 ind indf 1 plu>"
  <sfx ind indf 2 plu>    == "<des pret2 ind indf 2 plu>".

PRET2-36:
  <>                      == REGULAR-V
  <sfx ind indf 3>        == "<des pret2 ind indf 3>".

PRET2-23456:
  <>                      == REGULAR-V
  <sfx ind indf>          == PRET2-245
  <sfx ind indf 3>        == PRET2-36.

PRET2-6:
  <>                      == REGULAR-V
  <sfx ind indf 3 plu>    == "<des pret2 ind indf 3 plu>".

IMPSUBJ:
  <sfx subj impf>         == "<des imp_subj subj impf>".

FUTCOND:
  <sfx ind fut>           == "<des fut_cond ind fut>"
  <sfx cond>              == "<des fut_cond cond>".

IMPER:
  <>                      == REGULAR-V
  <sfx imper 2 plu>       == "<des imper imper 2 plu>".

AUX-4-STEM:
  <>                      == COGER
  <sfx ind indf>          == PRET1-13
  <sfx ind fut>           == FUTCOND
  <sfx cond>              == FUTCOND
  <root ind indf>         == "<stem 3>"
  <root ind fut>          == "<stem 4>"
  <root subj impf>        == "<stem 3>"
  <root cond>             == "<stem 4>"
  <wf imper 2 sing>       == "<stem 1>".

AUX-5-STEM:
  <>                      == AUX-4-STEM
  <sfx part>              == PART1
  <root part>             == "<stem 5>".

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% STEM ALLOMORPHY VERBAL MODELS.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
REGULAR-V:
  <>                      == VERB
  <sfx>                   == "<des reg>"
  <root>                  == "<stem 1>"
  <wf>                    == "<root>" "<sfx>"
  <wf imper pol sing>     == "<wf subj pres 3 sing>"
  <wf imper pol plu>      == "<wf subj pres 3 plu>".

BULLIR:
  <>                      == REGULAR-V
  <sfx>                   == PRET2-36
  <sfx ger>               == GER
  <sfx subj impf>         == IMPSUBJ.

CERRAR:
  <>                      == REGULAR-V
  <root ind pres 1 sing>  == "<stem 2>"
  <root ind pres 2 sing>  == "<stem 2>"
  <root ind pres 3 sing>  == "<stem 2>"
  <root ind pres 3 plu>   == "<stem 2>"
  <root subj pres>        == "<stem 2>"
  <root subj pres 1 plu>  == "<stem 1>"
  <root subj pres 2 plu>  == "<stem 1>"
  <root imper 2 sing>     == "<stem 2>".

LIAR:
  <>                      == CERRAR
  <sfx ind indf>          == PRET1-13.

ROMPER:
  <>                      == REGULAR-V
  <sfx part>              == PART1
  <root part>             == "<stem 2>".

CAZAR:
  <>                      == REGULAR-V
  <root ind indf 1 sing>  == "<stem 2>"
  <root subj pres>        == "<stem 2>".

COGER:
  <>                      == REGULAR-V
  <root ind pres 1 sing>  == "<stem 2>"
  <root subj pres>        == "<stem 2>".

HUIR:
  <>                      == REGULAR-V
  <sfx ger>               == GER
  <sfx ind indf>          == PRET2-36
  <sfx subj impf>         == IMPSUBJ
  <root ger>              == "<stem 2>"
  <root ind pres 1 sing>  == "<stem 2>"
  <root ind pres 2 sing>  == "<stem 2>"
  <root ind pres 3 sing>  == "<stem 2>"
  <root ind pres 3 plu>   == "<stem 2>"
  <root ind indf 3>       == "<stem 2>"
  <root subj pres>        == "<stem 2>"
  <root imper 2 sing>     == "<stem 2>"
  <root subj impf>        == "<stem 2>".

VESTIR:
  <>                      == REGULAR-V
  <root ger>              == "<stem 2>"
  <root ind pres 1 sing>  == "<stem 2>"
  <root ind pres 2 sing>  == "<stem 2>"
  <root ind pres 3 sing>  == "<stem 2>"
  <root ind pres 3 plu>   == "<stem 2>"
  <root ind indf 3>       == "<stem 2>"
  <root subj pres>        == "<stem 2>"
  <root subj impf>        == "<stem 2>"
  <root imper 2 sing>     == "<stem 2>".

CREER:
  <>                      == BULLIR
  <sfx part>              == PART2
  <sfx ind indf>          == PRET2-23456
  <root ger>              == "<stem 2>"
  <root ind indf 3>       == "<stem 2>"
  <root subj impf>        == "<stem 2>".

VOLVER:
  <>                      == CERRAR
  <sfx part>              == PART1
  <root part>             == "<stem 3>".

DORMIR:
  <>                      == CERRAR
  <root ger>              == "<stem 3>"
  <root ind indf 3>       == "<stem 3>"
  <root subj pres 1 plu>  == "<stem 3>"
  <root subj pres 2 plu>  == "<stem 3>"
  <root subj impf>        == "<stem 3>".

SEGUIR:
  <>                      == COGER
  <root ger>              == "<stem 3>"
  <root ind pres 2 sing>  == "<stem 3>"
  <root ind pres 3 sing>  == "<stem 3>"
  <root ind pres 3 plu>   == "<stem 3>"
  <root ind indf 3>       == "<stem 3>"
  <root subj impf>        == "<stem 3>"
  <root imper 2 sing>     == "<stem 3>".

CAER:
  <>                      == COGER
  <sfx ind indf>          == PRET2
  <sfx subj impf>         == IMPSUBJ
  <sfx ger>               == GER
  <sfx part>              == PART2
  <root ger>              == "<stem 3>"
  <root ind indf 3>       == "<stem 3>"
  <root subj impf>        == "<stem 3>".

VALER:
  <>                      == COGER
  <sfx ind fut>           == FUTCOND
  <sfx cond>              == FUTCOND
  <root ind fut>          == "<stem 3>"
  <root cond>             == "<stem 3>"
  <wf imper 2 sing alt>   == "<stem 1>".

SALIR:
  <>                      == VALER
  <wf imper 2 sing>       == "<stem 1>".

QUERER:
  <>                      == CERRAR
  <sfx ind fut>           == FUTCOND
  <sfx cond>              == FUTCOND
  <sfx ind indf>          == PRET1
  <root ind indf>         == "<stem 3>"
  <root subj impf>        == "<stem 3>".

PODER:
  <>                      == QUERER
  <root ger>              == "<stem 3>".

CONDUCIR:
  <>                      == COGER
  <sfx ind indf>          == PRET1-13
  <sfx ind indf 3 plu>    == PRET2-6
  <sfx subj impf>         == IMPSUBJ
  <root ind indf>         == "<stem 3>"
  <root subj impf>        == "<stem 3>".

CABER:
  <>                      == COGER
  <sfx ind indf>          == PRET1-13
  <sfx ind fut>           == FUTCOND
  <sfx cond>              == FUTCOND
  <root ind indf>         == "<stem 3>"
  <root subj impf>        == "<stem 3>".

FREIR:
  <>                      == CERRAR
  <sfx inf>               == INFIN
  <sfx ger>               == GER
  <sfx part>              == PART2
  <sfx ind pres 1 plu>    == PRES
  <sfx ind indf>          == PRET2-23456
  <sfx subj impf>         == IMPSUBJ
  <sfx imper 2 plu>       == IMPER
  <root ger>              == "<stem 3>"
  <root ind indf 3>       == "<stem 3>"
  <root subj pres 1 plu>  == "<stem 3>"
  <root subj pres 2 plu>  == "<stem 3>"
  <root subj impf>        == "<stem 3>".

OIR:
  <>                      == COGER
  <sfx inf>               == INFIN
  <sfx ger>               == GER
  <sfx part>              == PART2
  <sfx ind pres 1 plu>    == PRES
  <sfx ind indf>          == PRET2-23456
  <sfx subj impf>         == IMPSUBJ
  <sfx imper 2 plu>       == IMPER
  <root ger>              == "<stem 3>"
  <root ind pres 2 sing>  == "<stem 3>"
  <root ind pres 3 sing>  == "<stem 3>"
  <root ind pres 3 plu>   == "<stem 3>"
  <root ind indf 3>       == "<stem 3>"
  <root subj impf>        == "<stem 3>"
  <root imper 2 sing>     == "<stem 3>".

NEGAR:
  <>                      == COCER
  <root ind pres 1 sing>  == "<stem 2>"
  <root ind indf 1 sing>  == "<stem 3>".

COCER:
  <>                      == REGULAR-V
  <root ind pres 1 sing>  == "<stem 4>"
  <root ind pres 2 sing>  == "<stem 2>"
  <root ind pres 3 sing>  == "<stem 2>"
  <root ind pres 3 plu>   == "<stem 2>"
  <root imper 2 sing>     == "<stem 2>"
  <root subj pres>        == "<stem 4>"
  <root subj pres 1 plu>  == "<stem 3>"
  <root subj pres 2 plu>  == "<stem 3>".

TRAER:
  <>                      == COGER
  <root ger>              == "<stem 4>"
  <sfx ger>               == GER
  <sfx part>              == PART2
  <sfx ind indf>          == PRET1-135
  <sfx ind indf 3 plu>    == PRET2-6
  <sfx subj impf>         == IMPSUBJ
  <root ind indf>         == "<stem 3>"
  <root subj impf>        == "<stem 3>".

SABER:
  <>                      == COGER
  <sfx ind fut>           == FUTCOND
  <sfx cond>              == FUTCOND
  <sfx ind indf>          == PRET1-13
  <root ind pres 1 sing>  == "<stem 1>"
  <root ind indf>         == "<stem 3>"
  <root subj impf>        == "<stem 3>"
  <wf ind pres 1 sing>    == "<stem 4>".

MORIR:
  <>                      == DORMIR
  <sfx part>              == PART1
  <root part>             == "<stem 4>".

TENER:
  <>                      == AUX-4-STEM
  <root ind pres 2 sing>  == "<stem 5>"
  <root ind pres 3>       == "<stem 5>".

VENIR:
  <>                      == TENER
  <sfx ind indf>          == PRET1
  <root ger>              == "<stem 3>".

PONER:
  <>                      == AUX-4-STEM
  <sfx part>              == PART1
  <root part>             == "<stem 5>".

DECIR:
  <>                      == AUX-5-STEM
  <sfx ind indf>          == PRET1
  <sfx ind indf 3 plu>    == PRET2
  <sfx subj impf>         == IMPSUBJ
  <root ger>              == "<stem 6>"
  <root ind pres 2 sing>  == "<stem 6>"
  <root ind pres 3>       == "<stem 6>"
  <root imper 2 sing>     == "<stem 6>"
  <wf imper>              == REGULAR-V.

HACER:
  <>                      == AUX-5-STEM
  <root ind indf 1 sing>  == "<stem 6>"
  <root ind indf 3 sing>  == "<stem 7>".

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% DEFECTIVE MODELS.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ABOLIR:
  <>                      == VERB
  <root>                  == "<stem 1>"
  <wf>                    == "<root>" "<sfx>"
  <sfx inf>               == "<des reg inf>"
  <sfx ger>               == "<des reg ger>"
  <sfx part>              == "<des reg part>"
  <sfx ind pres 1 plu>    == "<des reg ind pres 1 plu>"
  <sfx ind pres 2 plu>    == "<des reg ind pres 2 plu>"
  <sfx ind impf>          == "<des reg ind impf>"
  <sfx ind indf>          == "<des reg ind indf>"
  <sfx subj impf>         == "<des reg subj impf>"
  <sfx cond>              == "<des reg cond>"
  <sfx imper 2 plu>       == "<des reg imper 2 plu>".

SOLER:
  <>                      == VERB
  <root>                  == "<stem 1>"
  <wf>                    == "<root>" "<sfx>"
  <sfx inf>               == "<des reg inf>"
  <sfx ger>               == "<des reg ger>"
  <sfx part>              == "<des reg part>"
  <sfx ind pres>          == "<des reg ind pres>"
  <sfx ind impf>          == "<des reg ind impf>"
  <sfx ind indf>          == "<des reg ind indf>"
  <sfx subj>              == "<des reg subj>"
  <root ind pres 1 sing>  == "<stem 2>"
  <root ind pres 2 sing>  == "<stem 2>"
  <root ind pres 3 sing>  == "<stem 2>"
  <root ind pres 3 plu>   == "<stem 2>"
  <root subj pres>        == "<stem 2>"
  <root subj pres 1 plu>  == "<stem 1>"
  <root subj pres 2 plu>  == "<stem 1>".

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% SOME EXAMPLES OF VERBAL LEXICAL ENTRIES.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Dar:                                  %% Dar is a unique-
  <>                    == REGULAR-V  % paradigm verb
  <stem>                == d
  <des>                 == C1
  <des reg ind indf 2 sing>
                        == C2:<des reg ind indf 2 sing>
  <des reg ind indf 1 plu>
                        == C2:<des reg ind indf 1 plu>
  <des reg ind indf 2 plu>
                        == C2:<des reg ind indf 2 plu>
  <des reg ind indf 3 plu>
                        == C2:<des reg ind indf 3 plu>
  <des reg subj impf>   == C2:<des reg subj impf>
  <wf ind pres 1 sing>  == d oy
  <wf ind pres 2 plu>   == d ais
  <wf ind indf 1 sing>  == d i
  <wf ind indf 3 sing>  == d io
  <wf subj pres 1 sing> == d 'é'
  <wf subj pres 3 sing> == d 'é'
  <wf subj pres 2 plu>  == d eis
  <wf imper pol sing>   == d 'é'.

Amar:
  <>       == REGULAR-V
  <des>    == C1
  <stem>   == am.

Temer:
  <>       == REGULAR-V
  <des>    == C2
  <stem>   == tem.

Partir:
  <>       == REGULAR-V
  <des>    == C3
  <stem>   == part.

Romper:
  <>       == ROMPER
  <des>    == C2
  <stem>   == romp
  <stem 2> == rot.

Cerrar:
  <>       == CERRAR
  <des>    == C1
  <stem>   == cerr
  <stem 2> == cierr.

Liar:
  <>       == LIAR
  <des>    == C1
  <stem>   == li
  <stem 2> == 'lí'.

Volver:
  <>       == VOLVER
  <des>    == C2
  <stem>   == volv
  <stem 2> == vuelv
  <stem 3> == vuelt.

Cazar:
  <>       == CAZAR
  <des>    == C1
  <stem>   == caz
  <stem 2> == cac.

Coger:
  <>       == COGER
  <des>    == C2
  <stem>   == cog
  <stem 2> == coj.

Cocer:
  <>       == COCER
  <des>    == C2
  <stem>   == coc
  <stem 2> == cuec
  <stem 3> == coz
  <stem 4> == cuez.

Negar:
  <>       == NEGAR
  <des>    == C1
  <stem>   == neg
  <stem 2> == nieg
  <stem 3> == negu
  <stem 4> == niegu.

Tener:
  <>       == TENER
  <des>    == C2
  <stem>   == ten
  <stem 2> == teng
  <stem 3> == tuv
  <stem 4> == tend
  <stem 5> == tien.

Entretener:
  <>       == TENER
  <des>    == C2
  <stem>   == entreten
  <stem 2> == entreteng
  <stem 3> == entretuv
  <stem 4> == entretend
  <stem 5> == entretien
  <wf imper 2 sing> == 'entretén'.

Venir:
  <>       == VENIR
  <des>    == C3
  <stem>   == ven
  <stem 2> == veng
  <stem 3> == vin
  <stem 4> == vend
  <stem 5> == vien.

Prevenir:
  <>       == VENIR
  <des>    == C3
  <stem>   == preven
  <stem 2> == preveng
  <stem 3> == previn
  <stem 4> == prevend
  <stem 5> == previen
  <wf imper 2 sing> == 'prevén'.

Decir:
  <>       == DECIR
  <des>    == C3
  <stem>   == dec
  <stem 2> == dig
  <stem 3> == dij
  <stem 4> == di
  <stem 5> == dich
  <stem 6> == dic
  <wf imper 2 sing> == di.

Predecir:
  <>       == DECIR
  <des>    == C3
  <stem>   == predec
  <stem 2> == predig
  <stem 3> == predij
  <stem 4> == predeci
  <stem 5> == predich
  <stem 6> == predic.

Poner:
  <>       == PONER
  <des>    == C2
  <stem>   == pon
  <stem 2> == pong
  <stem 3> == pus
  <stem 4> == pond
  <stem 5> == puest.

Proponer:
  <>       == PONER
  <des>    == C2
  <stem>   == propon
  <stem 2> == propong
  <stem 3> == propus
  <stem 4> == propond
  <stem 5> == propuest
  <wf imper 2 sing> == 'propón'.

Hacer:
  <>       == HACER
  <des>    == C2
  <stem>   == hac
  <stem 2> == hag
  <stem 3> == hic
  <stem 4> == ha
  <stem 5> == hech
  <stem 6> == hic
  <stem 7> == hiz
  <wf imper 2 sing> == haz.

Rehacer:
  <>       == HACER
  <des>    == C2
  <stem>   == rehac
  <stem 2> == rehag
  <stem 3> == rehic
  <stem 4> == reha
  <stem 5> == rehech
  <stem 6> == 'rehíc'
  <stem 7> == 'rehíz'
  <wf imper 2 sing> == rehaz.

Querer:
  <>       == QUERER
  <des>    == C2
  <stem>   == quer
  <stem 2> == quier
  <stem 3> == quis.

Poder:
  <>       == PODER
  <des>    == C2
  <stem>   == pod
  <stem 2> == pued
  <stem 3> == pud.

Conducir:
  <>       == CONDUCIR
  <des>    == C3
  <stem>   == conduc
  <stem 2> == conduzc
  <stem 3> == conduj.

Traer:
  <>       == TRAER
  <des>    == C2
  <stem>   == tra
  <stem 2> == traig
  <stem 3> == traj
  <stem 4> == tray.

Saber:
  <>       == SABER
  <des>    == C2
  <stem>   == sab
  <stem 2> == sep
  <stem 3> == sup
  <stem 4> == 'sé'.

Caber:
  <>       == CABER
  <des>    == C2
  <stem>   == cab
  <stem 2> == quep
  <stem 3> == cup.

Creer:
  <>       == CREER
  <des>    == C2
  <stem>   == cre
  <stem 2> == crey.

Bullir:
  <>       == BULLIR
  <des>    == C3
  <stem>   == bull.

Construir:
  <>       == HUIR
  <des>    == C3
  <stem>   == constru
  <stem 2> == construy.

Reñir:
  <>       == HUIR
  <des>    == C3
  <stem>   == reñ
  <stem 2> == riñ.

Vestir:
  <>       == VESTIR
  <des>    == C3
  <stem>   == vest
  <stem 2> == vist.

Dormir:
  <>       == DORMIR
  <des>    == C3
  <stem>   == dorm
  <stem 2> == duerm
  <stem 3> == durm.

Freir:                          %% freír
  <>       == FREIR
  <des>    == C3
  <stem>   == fre
  <stem 2> == 'frí'
  <stem 3> == fri.

Oir:                            %% oír
  <>       == OIR
  <des>    == C3
  <stem>   == o
  <stem 2> == oig
  <stem 3> == oy.

Morir:
  <>       == MORIR
  <des>    == C3
  <stem>   == mor
  <stem 2> == muer
  <stem 3> == mur
  <stem 4> == muert.

Seguir:
  <>       == SEGUIR
  <des>    == C3
  <stem>   == segu
  <stem 2> == sig
  <stem 3> == sigu.

Caer:  
  <>       == CAER
  <des>    == C2
  <stem>   == ca
  <stem 2> == caig
  <stem 3> == cay.

Valer:
  <>       == VALER
  <des>    == C2
  <stem>   == val
  <stem 2> == valg
  <stem 3> == vald.

Salir:
  <>       == SALIR
  <des>    == C3
  <stem>   == sal
  <stem 2> == salg
  <stem 3> == sald.

Abolir:
  <>       == ABOLIR
  <des>    == C3
  <stem>   == abol.

Soler:
  <>       == SOLER
  <des>    == C2
  <stem>   == sol
  <stem 2> == suel.