% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            nixon.dtr                                                %
% Purpose:         use of typed paths avoids Nixon diamond conflicts        %
% Author:          James Kilbury, 29 October 1992                           %
% Email:           kilbury@ling.uni-duesseldorf.de                          %
% Address:         U Drf, Universitaetsstr. 1, D-40225 Duesseldorf, Germany %
% Documentation:   see (vast) AI literature on the Nixon diamond            %
% Related files:   multiple.dtr, ordering.dtr                               % 
% Version:         1.01                                                     %
%      Copyright (c) University of Duesseldorf 1992.  All rights reserved.  %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

PERSON: 
       < > == no                 % All properties denied by default.
       <human> == yes.

QUAKER: 
       < > == PERSON
       <religious> == yes
       <pacifist> == yes.

REPUBLICAN: 
       < > == PERSON
       <political> == yes
       <pacifist> == no.         % This axiom can be omitted because
                                 % of the default case in PERSON.

NIXON: 
       < > == REPUBLICAN
       <religious> == QUAKER
       <tricky> == yes.

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

# show <human>
       <pacifist>
       <political>
       <religious>
       <tricky>.

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