% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            german_v.dtr                                             %
% Purpose:         German verb inflection                                   %
% Author:          Ulrich Wille, 30 September 1992                          %
% Related files:   german_2.dtr                                             %
% Version:         1.01                                                     %
%                                                                           %
%      Copyright (c) Ulrich Wille, 1992.  All rights reserved.              %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Beschreibung der Anfragen zu GVERB.DTR
%****************************************
%
%Schema:   
%*******
%        
%        Verbstamm: <(modus) (tempus) (numerus) (person)>
%
%                  (falls modus=imp, fallen tempus und person weg,
%                   falls modus=inf, tempus, person und numerus,
%                        falls tempus=pp, modus, numerus, person)
%
%Beschreibung der Typen
%**********************
%        modus:   ind, konj, imp, inf
%        tempus:  pres, past, pp
%        numerus: sg, pl
%        person:  1, 2, 3
%
%Beispielanfragen
%****************
%        Frag: <ind pres sg 1>
%        Hab: <konj past pl 3>
%        Back: <imp pl>
%        Erloesch: <inf>
%        Sei: <pp>
%
%Verbstumme im Lexikon
%*********************
%Frag, Red, Ras, Handel, Heb, Erloesch, Komm, Back, Sinn, Helf, Brenn,
%Duerf, Hab, Sei
%

%************************* Personalflexive ****************%

Flex:   <sg 1> == e
        <sg 2> == st
        <sg 3> == t
        <pl> == en
        <pl 2> == t.

Flexdt: <> == Flex
        <sg 2> == est
        <sg 3> == et
        <pl 2> == et.

Flexs:  <> == Flex
        <sg 2> == t.

Flexel: <> == Flex
        <pl 1> == n
        <pl 3> == n.

Flexp:  <> == Flexdt
        <sg 3> == e.

Flexkonj:
        <> == Flexel
        <sg 1> ==  
        <sg 3> ==  .

Flexps: <> == Flex
        <sg 1> ==  
        <sg 3> ==  .


%********************* schwache, regelm. Verben ************%

Gverb:  <syn cat> == v
        <syn type> == main
        <mor type> == weak
        <mor form> == reg
        <root> == "<vor>" _ "<voc pres>" _ "<nach>"
        <ind presstem> == "<root>"
        <ind paststem> == "<ind presstem>" _ t
        <konj presstem> == "<ind presstem>" _ e
        <konj paststem> == "<ind paststem>"
        <praef> == ge
        <pp> == "<praef>" _ "<ind paststem>"
        <ind pres> == "<ind presstem>" _ "Flex: <>"
        <ind past> == "<ind paststem>" _ "Flexp: <>"
        <konj pres> == "<konj presstem>" _ "Flexkonj: <>"
        <konj past> == "<konj paststem>" _ "Flexp: <>"
        <imp sg> == "<ind presstem>" _ e
        <imp pl> == "<ind pres pl 2>"
        <inf> == "<root>" _ en.

Gverbdt:
        <> == Gverb
        <ind pres> == "<ind presstem>" _ "Flexdt: <>"
        <ind paststem> == "<ind presstem>" _ et.

Gverbs: <> == Gverb
        <ind pres> == "<ind presstem>" _ "Flexs: <>".

Gverbel:
        <> == Gverb
        <ind pres> == "<ind presstem>" _ "Flexel: <>"
        <inf> == "<root>" _ n.

%*************************** starke Verben *********************%

%PP-Vok. = Praet.-Vok.

Gsverb_1:
        <> == Gverb
        <mor type> == strong
        <ind paststem> == "<vor>" _ "<voc past>" _ "<nach>"
        <ind past> == "<ind paststem>" _ "Flexps: <>"
        <pp> == "<praef>" _ "<ind paststem>" _ en
        <konj paststem> == "<vor>" _ "<voc konj>" _ "<nach>".

Gsverb_1_u:
        <> == Gsverb_1
        <ind pres sg 2> == "<vor>" _ "<voc uml>" _ "<nach>" _  Flex: <sg 2>
        <ind pres sg 3> == "<vor>" _ "<voc uml>" _ "<nach>" _  Flex: <sg 3>
        <imp sg> == "<vor>" _ "<voc uml>" _ "<nach>".

%PP-Vok. = Praes.-Vok.

Gsverb_2:
        <> == Gsverb_1
        <pp> == "<praef>" _ "<ind presstem>" _ en.

Gsverb_2_u:
        <> == Gsverb_1_u
        <pp> == Gsverb_2
        <imp sg> == Gverb.

%PP-Vok. Ø Praet.-Vok. Ø Praes.-Vok.

Gsverb_3: <> == Gsverb_1
        <pp> == "<praef>" _ "<vor>" _ "<voc pp>" _ "<nach>" _ en.

Gsverb_3_u: <> == Gsverb_1_u
        <pp> == Gsverb_3.

%*************************** Rueckumlautverben *******************%

Grverb: <> == Gverb
        <mor form> == irreg
        <voc pres> == e
        <voc past> == a
        <nach> == nn
        <ind paststem> == "<vor>" _ "<voc past>" _ "<nach>" _ t
        <konj paststem> == "<vor>" _ "<voc pres>" _ "<nach>" _ t.

%**************************** Modalverben ************************%

Gmod:   <> == Gverb
        <syn type> == aux
        <mor form> == irreg
        <ind pres sg> == "<vor>" _ "<voc sg>" _ "<nach>"
        <ind pres sg 2> == <ind pres sg> _ "Flex: <sg 2>"
        <ind paststem> == "<vor>" _ "<voc past>" _ "<nach>" _ t
        <konj paststem> == "<vor>" _ "<voc pres>" _ "<nach>" _ t.

%***************************** Lexikon ***************************%

Frag:   <> == Gverb
        <vor> == fr
        <voc> == a
        <nach> == g.

Red:    <> == Gverbdt
        <vor> == r
        <voc> == e
        <nach> == d.

Ras:    <> == Gverbs
        <vor> == r
        <voc> == a
        <nach> == s.

Handel: <> == Gverbel
        <vor> == h
        <voc> == a
        <nach> == ndel.

Heb:    <> == Gsverb_1
        <vor> == h
        <voc pres> == e
        <voc past> == o
        <voc konj> == oe
        <nach> == b.

Erloesch:
        <> == Gsverb_1_u
        <praef> ==  
        <vor> == erl
        <voc pres> == oe
        <voc past> == o
        <voc uml> == i
        <voc konj> == oe
        <nach> == sch.

Komm:   <> == Gsverb_2
        <vor> == k
        <voc pres> == o
        <voc past> == a
        <voc konj> == ae
        <nach> == m.

Back:   <> == Gsverb_2_u
        <vor> == b
        <voc pres> == a
        <voc past> == u
        <voc uml> == ae
        <voc konj> == ue
        <nach> == k.

Sinn:   <> == Gsverb_3
        <vor> == s
        <voc pres> == i
        <voc past> == a
        <voc pp> == o
        <voc konj> == ae
        <nach> == nn.

Helf:   <> == Gsverb_3_u
        <vor> == h
        <voc pres> == e
        <voc past> == a
        <voc pp> == o
        <voc uml> == i
        <voc konj> == ue
        <nach> == lf.

Brenn:  <> == Grverb
        <vor> == br.

Duerf:  <> == Gmod
        <vor> == d
        <voc> == ue
        <voc sg> == a
        <voc past> == u
        <nach> == rf.

Hab:    <> == Gverb
        <mor form> == irreg
        <vor> == h
        <voc> == a
        <voc konj> == ae
        <nach> == b
        <ind pres sg 2> == "<vor>" _ "<voc>" _ "Flex: <sg 2>"
        <ind pres sg 3> == "<vor>" _ "<voc>" _ "Flex: <sg 3>"
        <ind paststem> == "<vor>" _ "<voc>" _ t
        <pp> == ge _ "<ind presstem>" _ t
        <konj paststem> == "<vor>" _ "<voc konj>" _ t.

Sei:    <> == Gsverb_1
        <syn type> == aux
        <mor form> == irreg
        <vor> == w
        <voc past> == a
        <voc konj> == ae
        <nach> == r
        <root> == sei
        <ind pres sg 1> == bin
        <ind pres sg 2> == bist
        <ind pres sg 3> == ist
        <ind pres pl> == sind
        <ind pres pl 2> == seid
        <pp> == "<praef>" _ wes _ en
        <konj presstem> == "<root>" _ e
        <konj pres sg 1> == "<root>"
        <konj pres sg 3> == "<root>"
        <imp sg> == "<root>"
        <imp pl> == "<root>" _ d
        <inf> == "<root>" _ n.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Some example theorems:
%
% Sei:  <ind pres sg 1> = bin
%       <ind pres sg 2> = bist
%       <ind pres sg 3> = ist
%       <ind pres pl 1> = sind
%       <ind pres pl 2> = seid
%       <ind pres pl 3> = sind
%       <ind past sg 1> = w _ a _ r _
%       <ind past sg 2> = w _ a _ r _ st
%       <ind past sg 3> = w _ a _ r _
%       <ind past pl 1> = w _ a _ r _ en
%       <ind past pl 2> = w _ a _ r _ t
%       <ind past pl 3> = w _ a _ r _ en
%       <konj pres sg 1> = sei
%       <konj pres sg 2> = sei _ e _ st
%       <konj pres sg 3> = sei
%       <konj pres pl 1> = sei _ e _ n
%       <konj pres pl 2> = sei _ e _ t
%       <konj pres pl 3> = sei _ e _ n
%       <konj past sg 1> = w _ ae _ r _ e
%       <konj past sg 2> = w _ ae _ r _ est
%       <konj past sg 3> = w _ ae _ r _ e
%       <konj past pl 1> = w _ ae _ r _ en
%       <konj past pl 2> = w _ ae _ r _ et
%       <konj past pl 3> = w _ ae _ r _ en
%       <imp sg> = sei
%       <imp pl> = sei _ d
%       <inf> = sei _ n
%       <pp> = ge _ wes _ en.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

# hide  Flex Flexdt Flexs Flexel Flexp Flexkonj Flexps Gverb Gverbdt
        Gverbs Gverbel Gsverb_1 Gsverb_1_u Gsverb_2 Gsverb_2_u
        Gsverb_3 Gsverb_3_u Grverb Gmod.

# show  <ind pres sg 1>
        <ind pres sg 2>
        <ind pres sg 3>
        <ind pres pl 1>
        <ind pres pl 2>
        <ind pres pl 3>
        <ind past sg 1>
        <ind past sg 2>
        <ind past sg 3>
        <ind past pl 1>
        <ind past pl 2>
        <ind past pl 3>
        <konj pres sg 1>
        <konj pres sg 2>
        <konj pres sg 3>
        <konj pres pl 1>
        <konj pres pl 2>
        <konj pres pl 3>
        <konj past sg 1>
        <konj past sg 2>
        <konj past sg 3>
        <konj past pl 1>
        <konj past pl 2>
        <konj past pl 3>
        <imp sg>
        <imp pl>
        <inf>
        <pp>.

% The next line is the Revision Control System Id: do not delete it.
% $Id: archive.dtr,v 1.1 1997/04/09 20:40:33 root Exp $