% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            house.dtr                                                %
% Purpose:         illustrates inference rules I to IV                      %
% Author:          James Kilbury, 26 October 1992                           %
% Email:           kilbury@ling.uni-duesseldorf.de                          %
% Address:         U Drf, Universitaetsstr. 1, D-40225 Duesseldorf, Germany %
% Version:         1.02                                                     %
%      Copyright (c) University of Duesseldorf 1992.  All rights reserved.  %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

Lounge:                          % The lounge is
    <width> == 6                 %     6 m wide and
    <length> == <width>.         %     as long as it is wide.

Bedroom:                         % The bedroom is
    <width> == 3                 %     3 m wide and
    <length> == Lounge:<width>.  %     as long as the lounge is wide.

Bathroom:                        % The bathroom is
    <width> == Bedroom           %     as wide as the bedroom and
    <length> == <width>.         %     as long as it is wide.

Kitchen:
    <> == Bedroom.               % The kitchen is like the bedroom.

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

% The theorem set:
%
% Lounge:
%   <width>  = 6
%   <length> = 6.
%
% Bedroom:
%   <width>  = 3
%   <length> = 6.
%
% Bathroom:
%   <width>  = 3
%   <length> = 3.
%
% Kitchen:
%   <width>  = 3
%   <length> = 6.

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

# show    <width> <length>.

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