% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            dp_glo.dtr                                               %
% Purpose:         generates PATR-style feature structures                  %
% Authors:         Petra Naerger & Ingrid Renz, July 1990                   %
% Email:           barg@ling.uni-duesseldorf.de                             %
% Address:         U Drf, Universitaetsstr. 1, D-40225 Duesseldorf, Germany %
% Related files:   dp_var.dtr, gnouns.dtr                                   %
% Version:         1.01                                                     %
%      Copyright (c) University of Duesseldorf, 1990.  All rights reserved. %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% The syntactic inheritance for German nouns uses global inheritance
% Reentrancy by numbers
% Underspecification by [] (variable feature structure) 

# atom [ ].


SYNTAX:   <> == [ syn ':' [ "<synpaths>" ] ].

CAT:      <> == SYNTAX
          <synpaths> == [ cat ':' "<catname>" ].

MAJOR:    <> == SYNTAX
          <synpaths> == maj ':' [ "<majpaths>" ] .

FEATURES: <> == SYNTAX
          <synpaths> == feats ':' [ "<featspaths>" ] .

CAT_N0:   <> == CAT
          <catname> == n0.


N_V_DIST: <> == MAJOR
          <majpaths> == nv ':' [ n ':' "<n>" , v ':' "<v>" ] .

NOUN:     <> == N_V_DIST
          <n> == yes
          <v> == no.

VERB:     <> == N_V_DIST
          <n> == no
          <v> == yes.
 
PREP:     <> == N_V_DIST
          <n> == no
          <v> == no.

ADJ:      <> == N_V_DIST
          <n> == yes
          <v> == yes.


BAR:      <> == MAJOR
          <majpaths> == bar ':' "<bar>" .
 
BAR0:     <> == BAR
          <bar> == zero.
 
BAR1:     <> == BAR
          <bar> == one.
 
BAR2:     <> == BAR
          <bar> == two.


GENDER:   <> == FEATURES
          <featspaths> == gen ':' [ "<f>" , "<m>" ] 
          <f> == f ':' [ ] 
          <m> == m ':' [ ] .

MASC:     <> == NEUT
          <m> == m ':' yes .

NEUT:     <> == GENDER
          <f> == f ':' no 
          <m> == m ':' no .

FEM:      <> == NEUT
          <f> == f ':' yes  .

MASCNEUT: <> == GENDER
          <f> == NEUT.

FEMNEUT:  <> == GENDER
          <m> == NEUT.


NUMBER:   <> == FEATURES
          <featspaths> == num  ':' "<num>"  .

SING:     <> == NUMBER
          <num> == sing.

PLU:      <> == NUMBER
          <num> == plu.


CASE:     <> == FEATURES    
          <featspaths> ==  cas ':' [ "<obliq>" , "<gover>" , "<genit>" ] 
          <obliq> ==  obliq ':' [ ]  
          <gover> ==  gover ':' [ ]  
          <genit> ==  genit ':' [ ]  .

NOM:      <> == CASE
          <obliq> ==  obliq ':' no  
          <gover> ==  gover ':' no  
          <genit> ==  genit ':' no  .

ACC:      <> == NOM
          <gover> ==  gover ':' yes  .

DAT:      <> == ACC
          <obliq> ==  obliq ':' yes  .

GEN:      <> == DAT
          <genit> ==  genit ':' yes  .

NOMACC:   <> == CASE
          <obliq> == NOM.

DATGEN:   <> == CASE
          <obliq> == DAT.

ACCDAT:   <> == CASE
          <gover> == DAT
          <genit> == DAT.

NON_NOM:  <> == CASE
          <gover> == ACC.

NON_GEN:  <> == CASE
          <genit> == NOM.

NON_DAT:  <> == CASE
          <obliq> == obliq ':' 1 [ ] 
          <genit> == genit ':' 1 [ ] .
 

N0:       <> == "NOUN" "BAR0" "CAT_N0" .



UNKE:     <> == "FEM"  "SING"  "N0" . 
UNKEN:    <> == "FEM"  "PLU"   "N0" . 

TEICH:    <> == "MASC" "SING"  "N0"  "NON_GEN" .
TEICHES:  <> == "MASC" "SING"  "N0"  "GEN" .
TEICHE:   <> == "MASC" "PLU"  "N0"  "NON_DAT" .
TEICHEN:  <> == "MASC" "PLU"  "N0"  "DAT" .
 
# hide SYNTAX FEATURES MAJOR GENDER MASC NEUT FEM MASCNEUT FEMNEUT NUMBER SING
       PLU CASE NOM ACC DAT GEN NOMACC DATGEN ACCDAT NON_NOM NON_GEN NON_DAT
       BAR BAR0 BAR1 BAR2 N_V_DIST NOUN VERB PREP ADJ N0 CAT CAT_N0.

# show <>.

% Some example theorems:
%
% UNKE:   <> =  [ syn:  [ feats:  [ gen:  [ f:  yes , m:  no ] ] ] ]
%               [ syn:  [ feats:  [ num:  sing ] ] ]
%               [ syn:  [ maj:    [ nv:   [ n:  yes , v:  no ] ] ] ]
%               [ syn:  [ maj:    [ bar:  zero ] ] ]
%               [ syn:  [ cat:    n0 ] ].
%
% UNKEN:  <> =  [ syn:  [ feats:  [ gen:  [ f:  yes , m:  no ] ] ] ]
%               [ syn:  [ feats:  [ num:  plu ] ] ]
%               [ syn:  [ maj:    [ nv:   [ n:  yes , v:  no ] ] ] ]
%               [ syn:  [ maj:    [ bar:  zero ] ] ]
%               [ syn:  [ cat:    n0 ] ].
%
% TEICH:  <> =  [ syn:  [ feats:  [ gen:  [ f:  no , m:  yes ] ] ] ]
%               [ syn:  [ feats:  [ num:  sing ] ] ]
%               [ syn:  [ maj:    [ nv:   [ n:  yes , v:  no ] ] ] ]
%               [ syn:  [ maj:    [ bar:  zero ] ] ]
%               [ syn:  [ cat:    n0 ] ]
%               [ syn:  [ feats:  [ cas: 
%                       [ obliq:  [ ] , gover:  [ ] , genit:  no ] ] ] ].
%
% TEICHES:<> =  [ syn:  [ feats:  [ gen:  [ f:  no , m:  yes ] ] ] ]
%               [ syn:  [ feats:  [ num:  sing ] ] ]
%               [ syn:  [ maj:    [ nv:   [ n:  yes , v:  no ] ] ] ]
%               [ syn:  [ maj:    [ bar:  zero ] ] ]
%               [ syn:  [ cat:    n0 ] ]
%               [ syn:  [ feats:  [ cas:  
%                       [ obliq:  yes , gover:  yes , genit:  yes ] ] ] ].
%
% TEICHE: <> =  [ syn:  [ feats:  [ gen:  [ f:  no , m:  yes ] ] ] ]
%               [ syn:  [ feats:  [ num:  plu ] ] ]
%               [ syn:  [ maj:    [ nv:   [ n:  yes , v:  no ] ] ] ]
%               [ syn:  [ maj:    [ bar:  zero ] ] ]
%               [ syn:  [ cat:    n0 ] ]
%               [ syn:  [ feats:  [ cas:  
%                       [ obliq:  1 [ ] , gover:  [ ] , genit:  1 [ ] ] ] ] ].
%
% TEICHEN:<> =  [ syn:  [ feats:  [ gen:  [ f:  no , m:  yes ] ] ] ]
%               [ syn:  [ feats:  [ num:  plu ] ] ]
%               [ syn:  [ maj:    [ nv:   [ n:  yes , v:  no ] ] ] ]
%               [ syn:  [ maj:    [ bar:  zero ] ] ]
%               [ syn:  [ cat:    n0 ] ]
%               [ syn:  [ feats:  [ cas:  
%                       [ obliq:  yes , gover:  yes , genit:  no ] ] ] ].


% 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 $