;;; -*- Mode: LISP; Base: 10; Vsp: 1; Syntax: Rhet; Package: RPRS -*-
;;;;;
;;;;; Copyright (C) 1989 by the University of Rochester. All rights reserved.
;;;;; See your Rhet license agreement and file RPRS:rprs;copyright.text for more details.
;;;;;


;;; Portions Copyright 1987 by Henry A. Kautz
;;; This software may be freely distributed in original or modified
;;; form, under the condition that this copyright notice is included.
;;; No warranty as to the correctness or usefulness of this software
;;; is given or implied.
;;;
;;; The author may be contacted at the following addresses:
;;; :uucp:	allegra!kautz		
;;; :arpa: or :csnet:	kautz@allegra.att.com
;;; :old style csnet: 	kautz%allegra@btl.csnet
;;; :mail:	AT&T Bell Laboratories	
;;;		Room 3C-402A
;;;		600 Mountain Ave.	
;;;		Murray Hill, N.J. 07974	
;;; This software was not produced while the author was employee of 
;;; AT&T Bell Laboratories, and that organization has no legal 
;;; claim or responsibility for this software.
;;;


;;;; test two-level merge in upward inference and matching

(DEFINE-SUBTYPE 'T-A 'T-END)

(DEFINE-SUBTYPE 'T-B 'T-A :RELATIONS '((:STEPS [C-D [S1 ?SELF]])))

(DEFINE-SUBTYPE 'T-C 'T-A :RELATIONS '((:STEPS [C-D [S1 ?SELF]])))

(DEFINE-FUNCTIONAL-SUBTYPE 'T-D 'T-ANY)

(DEFINE-SUBTYPE 'T-E 'T-D :RELATIONS '((:STEPS [C-H [S1 ?SELF]])))

(DEFINE-SUBTYPE 'T-F 'T-D :RELATIONS '((:STEPS [C-H [S1 ?SELF]] [C-K [S2 ?SELF]])))

(DEFINE-SUBTYPE 'T-G 'T-D :RELATIONS '((:STEPS [C-K [S2 ?SELF]])))

(DEFINE-FUNCTIONAL-SUBTYPE 'T-H 'T-ANY)

(DEFINE-FUNCTIONAL-SUBTYPE 'T-K 'T-ANY)

