% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            colours.dtr                                              %
% Purpose:         simple example to illustrate default mechanism           %
% Authors:         Roger Evans & Gerald Gazdar, 24 August 1989              %
% Email:           Roger.Evans@itri.bton.ac.uk, geraldg@cogs.sussex.ac.uk   %
% Address:         ITRI, Univ. Brighton, Lewes Road, Brighton BN2 4GJ, UK   %
% Version:         2.01                                                     %
%                                                                           %
%      Copyright (c) University of Sussex 1989.  All rights reserved.       %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

Suite_1: <colour> == brown
         <colour bathroom> == blue
         <colour bedroom floor> == yellow
         <colour lobby walls> == beige
         <colour bathroom ceiling> == green.

Suite_2: <colour> == green
         <colour lobby> == brown
         <colour bathroom floor> == blue
         <colour bedroom walls> == yellow
         <colour lobby ceiling> == beige.

Suite_3: <colour> == beige
         <colour bedroom> == green
         <colour lobby floor> == brown
         <colour bathroom walls> == blue
         <colour bedroom ceiling> == yellow.

         % % % % % % % % % % % % % % % % % % % % % % % % %
         %                                               %
         % Some theorems:                                %
         %                                               %
         % Suite_1: <colour bathroom floor> = blue       %
         %          <colour bathroom walls> = blue       %
         %          <colour bathroom ceiling> = green    %
         %          <colour bedroom floor> = yellow      %
         %          <colour bedroom walls> = brown       %
         %          <colour bedroom ceiling> = brown     %
         %          <colour lobby floor> = brown         %
         %          <colour lobby walls> = beige         %
         %          <colour lobby ceiling> = brown.      %
         %                                               %
         % Suite_3: <colour bathroom floor> = blue       %
         %          <colour bathroom walls> = green      %
         %          <colour bathroom ceiling> = green    %
         %          <colour bedroom floor> = green       %
         %          <colour bedroom walls> = yellow      %
         %          <colour bedroom ceiling> = green     %
         %          <colour lobby floor> = brown         %
         %          <colour lobby walls> = brown         %
         %          <colour lobby ceiling> = beige.      %
         %                                               %
         % Suite_3: <colour bathroom floor> = beige      %
         %          <colour bathroom walls> = blue       %
         %          <colour bathroom ceiling> = beige    %
         %          <colour bedroom floor> = green       %
         %          <colour bedroom walls> = green       %
         %          <colour bedroom ceiling> = yellow    %
         %          <colour lobby floor> = brown         %
         %          <colour lobby walls> = beige         %
         %          <colour lobby ceiling> = beige.      %
         %                                               %
         % % % % % % % % % % % % % % % % % % % % % % % % %

# show   <colour lobby floor>
         <colour lobby walls>
         <colour lobby ceiling>
         <colour bedroom floor>
         <colour bedroom walls>
         <colour bedroom ceiling>
         <colour bathroom floor>
         <colour bathroom walls>
         <colour bathroom ceiling>.

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