% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            comlex.dtr                                               %
% Purpose:         dynamic construction of Comlex lexical entries in DATR   %
% Author:          Gerald Gazdar, 3rd January 1996                          %
% Email:           geraldg@cogs.sussex.ac.uk                                %
% Documentation:   see reference below                                      %
% Version:         1.00                                                     %
%                                                                           %
%      Copyright (c) University of Sussex 1996.  All rights reserved.       %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% The three example verb entries are taken from Ralph Grishman, Catherine
% Macleod & Adam Meyers (1994) "Comlex syntax: building a computational
% lexicon", COLING-94, pages 268-272.

# nc node: <orth>.

VERB:
    <> ==
    <comlex> == '(' verb
                  ':orth' "<orth>"
                  ':subc' '(' SUBCAT:<1>
                              SUBCAT:<2>
                              SUBCAT:<3> ')' ')'.
SUBCAT:
    <> == EXISTS:<[ "<subcat>"
                    FEATURE:<"<subcat>"> ]>.

% The mapping from [,] to (,) is pretty much forced by QDATR's (mis)perception
% of ( and ) as special DATR symbols.  Likewise the need for single quotes
% around ( and ).

EXISTS:
    <]> == ')'
    <] ]> == ')' ')'
    <[> == '(' <>
    <[ ]> ==
    <$atom> == $atom <>.

FEATURE:
    <> ==
    <pval> == ':pval' [ "<pvalue>" ]
    <pp> == <pval>
    <np-pp> == <pval>
    <p-ing-sc> == <pval>.

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

Abandon:
    <> == VERB
    <pvalue> == to
    <subcat 1> == np-pp
    <subcat 2> == np.

Abstain:
    <> == VERB
    <pvalue> == from
    <subcat 1> == intrans
    <subcat 2> == pp
    <subcat 3> == p-ing-sc.


Accept:
    <> == VERB
    <subcat 1> == np
    <subcat 2> == that-s
    <subcat 3> == np-as-np.

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

% Some example theorems:
%
% Abandon:
%   <comlex> = ( verb :orth abandon
%                     :subc ( ( np-pp :pval ( to ) )
%                             ( np ) ) ) .
% Abstain:
%   <comlex> = ( verb :orth abstain
%                     :subc ( ( intrans )
%                             ( pp :pval ( from ) )
%                             ( p-ing-sc :pval ( from ) ) ) ) .
% Accept:
%   <comlex> = ( verb :orth accept
%                     :subc ( ( np )
%                             ( that-s )
%                             ( np-as-np ) ) ) .

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

# hide VERB SUBCAT FEATURE EXISTS.

# show <comlex>.

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