% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            music.dtr                                                %
% Purpose:         to represent generalizations across rhythm and melody    % 
% Author:          Gerald Gazdar, 24 March 1989                             %
% Email:           geraldg@cogs.sussex.ac.uk                                %
% Address:         COGS, Sussex University, Brighton BN1 9QH, UK            %
% Version:         1.01                                                     %
%      Copyright (c) University of Sussex 1989.  All rights reserved.       %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Yankee Doodle

Bar:    <note> == 'C'
        <time> == 'Q Q'
        <rhythm> == ["<time 0>"] ["<time 1>"]
        <melody> == ["<note 0 0>" "<note 0 1>"]
                    ["<note 1 0>" "<note 1 1>"].

Bar_1:  <> == Bar
        <note 1 0> == 'D'
        <note 1 1> == 'E'.

Bar_2:  <> == Bar
        <note 1 0> == 'B'
        <note 1 1> == 'g'.

Bar_3:  <> == Bar_1.

Bar_4:  <> == Bar_2
        <time 0> == 'H'.

Bar_5:  <> == Bar_1.

Bar_6:  <> == Bar
        <note 0 0> == 'F'
        <note 0 1> == 'E'
        <note 1 0> == 'D'.

Bar_7:  <> == Bar_1
        <note 0> == Bar_2:<note 1>
        <note 1 0> == 'A'
        <note 1 1> == 'B'.

Bar_8:  <> == Bar
        <time 0> == 'H'.

Piece:  <> == [ ["Bar_1"] ["Bar_2"] ["Bar_3"] ["Bar_4"] 
                ["Bar_5"] ["Bar_6"] ["Bar_7"] ["Bar_8"] ].

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

% Two theorems:
%
% Piece:<rhythm> = [ [ [ Q Q ] [ Q Q ] ]
%                    [ [ Q Q ] [ Q Q ] ]
%                    [ [ Q Q ] [ Q Q ] ]
%                    [ [ H   ] [ Q Q ] ]
%                    [ [ Q Q ] [ Q Q ] ]
%                    [ [ Q Q ] [ Q Q ] ] 
%                    [ [ Q Q ] [ Q Q ] ]
%                    [ [ H   ] [ Q Q ] ] ].
%
%       <melody> = [ [ [ C C ] [ D E ] ]
%                    [ [ C C ] [ B g ] ]
%                    [ [ C C ] [ D E ] ]
%                    [ [ C C ] [ B g ] ]
%                    [ [ C C ] [ D E ] ]
%                    [ [ F E ] [ D C ] ]
%                    [ [ B g ] [ A B ] ]
%                    [ [ C C ] [ C C ] ] ].

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

# hide  Bar Bar_1 Bar_2 Bar_3 Bar_4 Bar_5 Bar_6 Bar_7 Bar_8.

# show  <rhythm> <melody>.

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