% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            fs9.dtr                                                  %
% Purpose:         construction of feature structures with a DATR lexicon   %
%                  each description path specifies an atomic value          %
% Author:          James Kilbury, 25 January 1993                           %
% Email:           kilbury@ling.uni-duesseldorf.de                          %
% Address:         U Drf, Universitaetsstr. 1, D-40225 Duesseldorf, Germany %
% Version:         1.02                                                     %
% Related files:   fs1.dtr, ... fs8.dtr, fscons.dtr, fldcons.dtr            %
%                                                                           %
%      Copyright (c) University of Duesseldorf 1993.  All rights reserved.  %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

CAT:      <*>            == FS:<syn T>.

MAJLEX:   <>             == CAT
          <syn>          == FS:<maj T>
          <syn maj>      == FS:<nv bar T>
          <syn maj nv>   == FS:<n v T>
          <syn maj bar>  == ATOM:<zero T>.

NOUN:     <>             == MAJLEX
          <syn maj nv n> == ATOM:<yes T>
          <syn maj nv v> == ATOM:<no T>.

ADJ:      <>             == MAJLEX
          <syn maj nv n> == ATOM:<yes T>
          <syn maj nv v> == ATOM:<yes T>.

Frog:     <>             == NOUN.
 
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
 
% type definitions and syntax of QPATR feature-logic descriptions
 
FS:
    <>   == true                            % feature-logic description
    <$A> == "< EQU >"  EQS:<> .   

EQS:
    <+>  ==                                 % equations
    <$A> ==  ','  "< EQU >"  <> .
     
EQU:
    <$A> == EQU_PREFIX:<>  $A  *  + .       % equation
                                            % '*' as 2nd stack marker
                                            %  for end of relevant path;
                                            % '+' cuts off inherited junk
 
EQU_PREFIX:
    <+>  ==  PATH_TO_SEQUENCE:<>
    <$A> == <>.                             % shorten path by one

ATOM:
    <$Val +> == DP_T_QPP:<'X'> '*=' $Val .  % 'X' as PROLOG var for a FS

DP_T_QPP:
    <$A> == $A  SLASH:<> .                  % DATR-path to QPATR-path

SLASH:
    <>   == 
    <*>  == 
    <$A> ==  '/'  DP_T_QPP .

T:
    <> == +  PATH_TO_SEQUENCE .             % tail of the path
                                            % '+' as 1st stack marker

PATH_TO_SEQUENCE:
    <>  ==                                  % empty path
    <*> ==                                  % termination (end of path)
    <+> ==                                  % termination (junk cut-off)
    <$A>  ==  $A  <> .                      % recursion

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

% Frog:
%   <*> = X / syn / maj / nv / n *= yes , 
%         X / syn / maj / nv / v *= no , 
%         X / syn / maj / bar *= zero .

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