;; -*-Mode: Lisp-*- 
;; $Id: test-rules.lsp,v 1.2 2001/04/02 20:38:58 moltmans Exp $
;; test-rules.lsp -- 
;; Author: Michael Oltmans <moltmans@ai.mit.edu> 
;; Created: <Wed Jan 24 21:10:54 2001> 
;; Time-stamp: <2001-01-24 21:26:31 moltmans> 

(in-package :COMMON-LISP-USER)

(defvar *assistance-input* nil)

(setq *assistance-input*
      '((body body1) ; block
	(body body2) ; ball
	(arrow arrow)
	(arrow-referent arrow body1)
	(moves-sentence block-moves)
	(temporaly-close arrow block-moves)))

(defun test-ASSISTANCE ()
  (in-jtre (create-jtre "Test Assistance"))
  (bps-load-file *jtre-path* *assistance-rule-file*)
  (mapcar #'(lambda (fact) (assume! fact 'user)) *assistance-input*)
  (show-data))

