;;;************************************************************
;;; DEFFACTS COMMAND TESTING
;;;
;;; The file dffctcmd.tst tests the commands described in the
;;; BPG in section 11.6 (deffacts commands).
;;;
;;; To test, execute the command (batch "dffctcmd.tst").
;;; When the test is complete, check the file dffctcmd.rsl
;;; for the results (differences between expected and 
;;; actual output are listed).
;;;************************************************************