1%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    2%
    3%                             June 15, 2000
    4%
    5% This software was developed by the Cognitive Robotics Group under the
    6% direction of Hector Levesque and Ray Reiter.
    7%
    8%        Do not distribute without permission.
    9%        Include this notice in any copy made.
   10%
   11%
   12%         Copyright (c) 2000 by The University of Toronto,
   13%                        Toronto, Ontario, Canada.
   14%
   15%                          All Rights Reserved
   16%
   17% Permission to use, copy, and modify, this software and its
   18% documentation for non-commercial research purpose is hereby granted
   19% without fee, provided that the above copyright notice appears in all
   20% copies and that both the copyright notice and this permission notice
   21% appear in supporting documentation, and that the name of The University
   22% of Toronto not be used in advertising or publicity pertaining to
   23% distribution of the software without specific, written prior
   24% permission.  The University of Toronto makes no representations about
   25% the suitability of this software for any purpose.  It is provided "as
   26% is" without express or implied warranty.
   27% 
   28% THE UNIVERSITY OF TORONTO DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS
   29% SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
   30% FITNESS, IN NO EVENT SHALL THE UNIVERSITY OF TORONTO BE LIABLE FOR ANY
   31% SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER
   32% RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF
   33% CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
   34% CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
   35% 
   36%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%