All,

I am happy to announce that JLisa now "walks".... on ABL.  ("Walking" is a step-by-step firing of the Rete engine.)


This is a true test that ABL is becoming a fairly good Lisp.  Frankly, it is amazing that it runs as good as it does
within 2 weeks of having a CLOS implementation.

Lisa is not by far an easy program to port to any Lisp system because it uses lots of stuff:

        most CLOS features -- including reflection
        extensive use of Common Lisp functions
        extensive use of recursion
        etc.

- Mike

I include here sample run of the "monkey and bananas" problem:

Armed Bear Lisp 0.0.3.1+
Java 1.4.2_02 Sun Microsystems Inc.
Java HotSpot(TM) Client VM
; Loading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/boot.lisp ...
; Loaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/boot.lisp (1.893 seconds)
Type :HELP for a list of top-level commands.
CL-USER(1): (load "/eclipse/workspace/JLisa/load-lisa/load-lisa-pc.lisp")
; Loading C:\eclipse\workspace\JLisa\load-lisa\load-lisa-pc.lisp ...
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\packages\pkgdecl.lisp ...
;   Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/assoc.lisp ...
;   Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/assoc.lisp (0.06 seconds)
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\packages\pkgdecl.lisp (0.08 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\utils\compose.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\utils\compose.lisp (0.02 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\utils\utils.lisp ...
;   Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/define-condition.lisp ...
;    Loading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/clos.lisp ...
;     Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/count.lisp ...
;     Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/count.lisp (0.121 seconds)
;     Autoloading org.armedbear.lisp.make_array ...
;     Autoloaded org.armedbear.lisp.make_array (0.01 seconds)
;     Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/butlast.lisp ...
;     Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/butlast.lisp (0.01 seconds)
;     Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/remove.lisp ...
;      Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/delete.lisp ...
;      Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/delete.lisp (0.38 seconds)
;     Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/remove.lisp (0.851 seconds)
;     Autoloading org.armedbear.lisp.GenericFunction ...
;     Autoloaded org.armedbear.lisp.GenericFunction (0.01 seconds)
;     Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/adjoin.lisp ...
;     Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/adjoin.lisp (0.0 seconds)
;    Loaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/clos.lisp (3.195 seconds)
;   Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/define-condition.lisp (3.215 seconds)
;   Autoloading org.armedbear.lisp.define_condition ...
;   Autoloaded org.armedbear.lisp.define_condition (0.01 seconds)
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\utils\utils.lisp (3.345 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\reflect\reflect.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\reflect\reflect.lisp (0.07 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\preamble.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\preamble.lisp (0.13 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\conditions.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\conditions.lisp (0.01 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\deffacts.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\deffacts.lisp (0.191 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\fact.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\fact.lisp (0.801 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\watches.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\watches.lisp (0.07 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\activation.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\activation.lisp (0.44 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\strategies.lisp ...
;   Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/with-accessors.lisp ...
;   Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/with-accessors.lisp (0.01 seconds)
;   Loading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/loop.lisp ...
;    Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/defstruct.lisp ...
;    Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/defstruct.lisp (0.1 seconds)
;    Autoloading org.armedbear.lisp.StructureClass ...
;    Autoloaded org.armedbear.lisp.StructureClass (0.0 seconds)
;    Autoloading org.armedbear.lisp.StructureObject ...
;    Autoloaded org.armedbear.lisp.StructureObject (0.01 seconds)
;    Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/check-type.lisp ...
;    Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/check-type.lisp (0.02 seconds)
;   Loaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/loop.lisp (0.992 seconds)
;   Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/revappend.lisp ...
;   Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/revappend.lisp (0.01 seconds)
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\strategies.lisp (2.033 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\context.lisp ...
;   Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/with-hash-table-iterator.lisp ...
;   Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/with-hash-table-iterator.lisp (0.02 seconds)
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\context.lisp (0.591 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\rule.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\rule.lisp (1.512 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\tms-support.lisp ...
;   Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/define-symbol-macro.lisp ...
;   Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/define-symbol-macro.lisp (0.01 seconds)
;   Autoloading org.armedbear.lisp.SymbolMacro ...
;   Autoloaded org.armedbear.lisp.SymbolMacro (0.0 seconds)
;   Autoloading org.armedbear.lisp.last ...
;   Autoloaded org.armedbear.lisp.last (0.0 seconds)
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\tms-support.lisp (0.05 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\rete.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\rete.lisp (2.033 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\meta.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\meta.lisp (0.01 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\binding.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\binding.lisp (0.0 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\pattern.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\pattern.lisp (0.05 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\token.lisp ...
;   Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/with-slots.lisp ...
;   Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/with-slots.lisp (0.02 seconds)
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\token.lisp (0.892 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\parser.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\parser.lisp (0.23 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\language.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\language.lisp (0.29 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\retrieve.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\retrieve.lisp (0.061 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node-tests.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node-tests.lisp (0.12 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\shared-node.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\shared-node.lisp (0.5 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\successor.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\successor.lisp (0.0 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node-pair.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node-pair.lisp (0.0 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\terminal-node.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\terminal-node.lisp (0.301 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node1.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node1.lisp (0.431 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\join-node.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\join-node.lisp (1.141 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node2.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node2.lisp (0.361 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node2-not.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node2-not.lisp (0.38 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node2-test.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node2-test.lisp (0.13 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node2-exists.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\node2-exists.lisp (0.501 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\tms.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\tms.lisp (0.06 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\rete-compiler.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\rete-compiler.lisp (0.481 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\network-ops.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\network-ops.lisp (0.431 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\network-crawler.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\rete\reference\network-crawler.lisp (0.03 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\debugger\lisa-debugger.lisp ...

"The debugger must be running to use this function."
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\debugger\lisa-debugger.lisp (0.17 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\epilogue.lisp ...
;   Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/with-package-iterator.lisp ...
;   Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/with-package-iterator.lisp (0.04 seconds)
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\src\2.0-core\epilogue.lisp (1.182 seconds)
;  Loading C:\eclipse\workspace\JLisa\src\org\lisa\misc\mab-clos.lisp ...
;  Loaded C:\eclipse\workspace\JLisa\src\org\lisa\misc\mab-clos.lisp (36.592 seconds)
; Loaded C:\eclipse\workspace\JLisa\load-lisa\load-lisa-pc.lisp (55.81 seconds)
T
CL-USER(2): (LISA-USER::run-mab)
; Autoloading org.armedbear.lisp.Time ...
; Autoloaded org.armedbear.lisp.Time (0.01 seconds)
Starting run.
; Autoloading /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/maphash.lisp ...
; Autoloaded /C:/eclipse/workspace/JLisa/bin/org/armedbear/lisp/maphash.lisp (0.0 seconds)
==> F-0 (LISA:INITIAL-FACT)
==> Activation: INITIAL-CONTEXT.STARTUP : (F-0)
; Autoloading org.armedbear.lisp.coerce ...
; Autoloaded org.armedbear.lisp.coerce (0.0 seconds)
FIRE 1: INITIAL-CONTEXT.STARTUP (F-0)
==> F-1 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::GREEN-COUCH) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T5-7))
==> F-2 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::HEAVY) (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::LOCATION LISA-USER::T5-7) (LISA-USER::NAME LISA-USER::GREEN-COUCH))
==> F-3 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::HEAVY) (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::LOCATION LISA-USER::T2-2) (LISA-USER::NAME LISA-USER::RED-COUCH))
==> F-4 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::RED-COUCH) (LISA-USER::LOCATION LISA-USER::T2-2) (LISA-USER::NAME LISA-USER::BIG-PILLOW))
==> F-5 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::BIG-PILLOW) (LISA-USER::LOCATION LISA-USER::T2-2) (LISA-USER::NAME LISA-USER::RED-CHEST))
==> F-6 (LISA-USER::CHEST (LISA-USER::UNLOCKED-BY LISA-USER::RED-KEY) (LISA-USER::CONTENTS LISA-USER::LADDER) (LISA-USER::NAME LISA-USER::RED-CHEST))
==> F-7 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF CEILING) (LISA-USER::LOCATION LISA-USER::T7-7) (LISA-USER::NAME LISA-USER::BLUE-CHEST))
==> F-8 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF CEILING) (LISA-USER::LOCATION LISA-USER::T7-8) (LISA-USER::NAME LISA-USER::GRAPES))
==> F-9 (LISA-USER::CHEST (LISA-USER::UNLOCKED-BY LISA-USER::BLUE-KEY) (LISA-USER::CONTENTS LISA-USER::BANANAS) (LISA-USER::NAME LISA-USER::BLUE-CHEST))
==> F-10 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::HEAVY) (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::LOCATION LISA-USER::T8-8) (LISA-USER::NAME LISA-USER::BLUE-COUCH))
==> F-11 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF CEILING) (LISA-USER::LOCATION LISA-USER::T8-8) (LISA-USER::NAME LISA-USER::GREEN-CHEST))
==> F-12 (LISA-USER::CHEST (LISA-USER::UNLOCKED-BY LISA-USER::RED-KEY) (LISA-USER::CONTENTS LISA-USER::BLUE-KEY) (LISA-USER::NAME LISA-USER::GREEN-CHEST))
==> F-13 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::LOCATION LISA-USER::T1-3) (LISA-USER::NAME LISA-USER::RED-KEY))
==> F-14 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::EAT) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::BANANAS))
==> Activation: INITIAL-CONTEXT.HOLD-TO-EAT : (F-14 F-1)
Elapsed time:
NIL
CL-USER(3): (LISA-USER::next)
CL-USER(4): (LISA::next)
CL-USER(5): (LISA-USER::walk
'next)
Error: wrong type: NEXT is not a number.
BREAK called.
Type :CONTINUE to return from break or :RESET to return to top level.
[1] CL-USER(6): (LISA-USER::walk 1)
FIRE 2: INITIAL-CONTEXT.HOLD-TO-EAT (F-14 F-1)
==> F-15 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::BANANAS))
==> Activation: INITIAL-CONTEXT.UNLOCK-CHEST-TO-HOLD-OBJECT : (F-15 F-9)
1
[1] CL-USER(7): (LISA-USER::walk 1)
FIRE 3: INITIAL-CONTEXT.UNLOCK-CHEST-TO-HOLD-OBJECT (F-15 F-9)
==> F-16 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::UNLOCK) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::BLUE-CHEST))
==> Activation: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR : (F-16 F-7 F-1)
1
[1] CL-USER(8): (LISA-USER::walk 1)
FIRE 4: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR (F-16 F-7 F-1)
==> F-17 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::BLUE-CHEST))
==> Activation: INITIAL-CONTEXT.USE-LADDER-TO-HOLD : (F-17 F-7)
1
[1] CL-USER(9): (LISA-USER::walk 1)
FIRE 5: INITIAL-CONTEXT.USE-LADDER-TO-HOLD (F-17 F-7)
==> F-18 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::MOVE) (LISA-USER::ARGUMENT-2 LISA-USER::T7-7) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.UNLOCK-CHEST-TO-MOVE-OBJECT : (F-18 F-6)
1
[1] CL-USER(10): (LISA-USER::walk 1)
FIRE 6: INITIAL-CONTEXT.UNLOCK-CHEST-TO-MOVE-OBJECT (F-18 F-6)
==> F-19 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::UNLOCK) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::RED-CHEST))
==> Activation: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR : (F-19 F-5 F-1)
1
[1] CL-USER(11): (LISA-USER::walk 1)
FIRE 7: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR (F-19 F-5 F-1)
==> F-20 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::RED-CHEST))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-20 F-5 F-1)
1
[1] CL-USER(12): (LISA-USER::walk 1)
FIRE 8: INITIAL-CONTEXT.WALK-TO-HOLD (F-20 F-5 F-1)
==> F-21 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.GET-ON-FLOOR-TO-WALK : (F-21 F-1)
1
[1] CL-USER(13): (LISA-USER::walk 1)
FIRE 9: INITIAL-CONTEXT.GET-ON-FLOOR-TO-WALK (F-21 F-1)
==> F-22 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 FLOOR))
==> Activation: INITIAL-CONTEXT.JUMP-ONTO-FLOOR : (F-22 F-1)
1
[1] CL-USER(14): (LISA-USER::walk 1)
FIRE 10: INITIAL-CONTEXT.JUMP-ONTO-FLOOR (F-22 F-1)
Monkey jumps off the GREEN-COUCH onto the floor.
<== F-1 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::GREEN-COUCH) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T5-7))
==> F-23 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T5-7))
==> Activation: INITIAL-CONTEXT.WALK-HOLDING-NOTHING : (F-21 F-23)
==> Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-22 F-23)
<== F-22 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 FLOOR))
<== Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-22 F-23)
1
[1] CL-USER(15): (LISA-USER::walk 1)
FIRE 11: INITIAL-CONTEXT.WALK-HOLDING-NOTHING (F-21 F-23)
Monkey walks to T2-2.
<== F-23 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T5-7))
==> F-24 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.CLIMB-TO-HOLD : (F-20 F-5 F-24)
==> Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-21 F-24)
<== F-21 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::T2-2))
<== Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-21 F-24)
1
[1] CL-USER(16): (LISA-USER::walk 1)
FIRE 12: INITIAL-CONTEXT.CLIMB-TO-HOLD (F-20 F-5 F-24)
==> F-25 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::BIG-PILLOW))
==> Activation: INITIAL-CONTEXT.CLIMB-INDIRECTLY : (F-25 F-4 F-24)
1
[1] CL-USER(17): (LISA-USER::walk 1)
FIRE 13: INITIAL-CONTEXT.CLIMB-INDIRECTLY (F-25 F-4 F-24)
==> F-26 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::RED-COUCH))
==> Activation: INITIAL-CONTEXT.CLIMB-DIRECTLY : (F-26 F-3 F-24)
1
[1] CL-USER(18): (LISA-USER::walk 1)
FIRE 14: INITIAL-CONTEXT.CLIMB-DIRECTLY (F-26 F-3 F-24)
Monkey climbs onto the RED-COUCH.
<== F-24 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> F-27 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::RED-COUCH) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-26 F-27)
==> Activation: INITIAL-CONTEXT.CLIMB-DIRECTLY : (F-25 F-4 F-27)
<== F-26 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::RED-COUCH))
<== Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-26 F-27)
1
[1] CL-USER(19): (LISA-USER::walk 1)
FIRE 15: INITIAL-CONTEXT.CLIMB-DIRECTLY (F-25 F-4 F-27)
Monkey climbs onto the BIG-PILLOW.
<== F-27 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::RED-COUCH) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> F-28 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::BIG-PILLOW) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-25 F-28)
==> Activation: INITIAL-CONTEXT.GRAB-OBJECT : (F-20 F-5 F-28)
<== F-25 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::BIG-PILLOW))
<== Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-25 F-28)
1
[1] CL-USER(20): (LISA-USER::walk 1)
FIRE 16: INITIAL-CONTEXT.GRAB-OBJECT (F-20 F-5 F-28)
Monkey grabs the RED-CHEST.
<== F-5 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::BIG-PILLOW) (LISA-USER::LOCATION LISA-USER::T2-2) (LISA-USER::NAME LISA-USER::RED-CHEST))
==> F-29 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::RED-CHEST))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-20 F-29 F-28)
<== F-28 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::BIG-PILLOW) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-20 F-29 F-28)
==> F-30 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::BIG-PILLOW) (LISA-USER::HOLDING LISA-USER::RED-CHEST) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-20 F-29 F-30)
==> Activation: INITIAL-CONTEXT.PUT-CHEST-ON-FLOOR : (F-19 F-30 F-29)
<== F-20 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::RED-CHEST))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-20 F-29 F-30)
1
[1] CL-USER(21): (LISA-USER::walk 1)
FIRE 17: INITIAL-CONTEXT.PUT-CHEST-ON-FLOOR (F-19 F-30 F-29)
Monkey throws the RED-CHEST off the BIG-PILLOW onto the floor.
<== F-30 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::BIG-PILLOW) (LISA-USER::HOLDING LISA-USER::RED-CHEST) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> F-31 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::BIG-PILLOW) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR : (F-19 F-29 F-31)
<== F-29 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::RED-CHEST))
<== Activation: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR : (F-19 F-29 F-31)
==> F-32 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::LOCATION LISA-USER::T2-2) (LISA-USER::NAME LISA-USER::RED-CHEST))
==> Activation: INITIAL-CONTEXT.GET-KEY-TO-UNLOCK : (F-19 F-32 F-6 F-31)
1
[1] CL-USER(22): (LISA-USER::walk 1)
FIRE 18: INITIAL-CONTEXT.GET-KEY-TO-UNLOCK (F-19 F-32 F-6 F-31)
==> F-33 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::RED-KEY))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-33 F-13 F-31)
1
[1] CL-USER(23): (LISA-USER::walk 1)
FIRE 19: INITIAL-CONTEXT.WALK-TO-HOLD (F-33 F-13 F-31)
==> F-34 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::T1-3))
==> Activation: INITIAL-CONTEXT.GET-ON-FLOOR-TO-WALK : (F-34 F-31)
1
[1] CL-USER(24): (LISA-USER::walk 1)
FIRE 20: INITIAL-CONTEXT.GET-ON-FLOOR-TO-WALK (F-34 F-31)
==> F-35 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 FLOOR))
==> Activation: INITIAL-CONTEXT.JUMP-ONTO-FLOOR : (F-35 F-31)
1
[1] CL-USER(25): (LISA-USER::walk 1)
FIRE 21: INITIAL-CONTEXT.JUMP-ONTO-FLOOR (F-35 F-31)
Monkey jumps off the BIG-PILLOW onto the floor.
<== F-31 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::BIG-PILLOW) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> F-36 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.WALK-HOLDING-NOTHING : (F-34 F-36)
==> Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-35 F-36)
<== F-35 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 FLOOR))
<== Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-35 F-36)
1
[1] CL-USER(26): (LISA-USER::walk 1)
FIRE 22: INITIAL-CONTEXT.WALK-HOLDING-NOTHING (F-34 F-36)
Monkey walks to T1-3.
<== F-36 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> F-37 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T1-3))
==> Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-34 F-37)
==> Activation: INITIAL-CONTEXT.GRAB-OBJECT : (F-33 F-13 F-37)
<== F-34 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::T1-3))
<== Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-34 F-37)
1
[1] CL-USER(27): (LISA-USER::walk 1)
FIRE 23: INITIAL-CONTEXT.GRAB-OBJECT (F-33 F-13 F-37)
Monkey grabs the RED-KEY.
<== F-13 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::LOCATION LISA-USER::T1-3) (LISA-USER::NAME LISA-USER::RED-KEY))
==> F-38 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::RED-KEY))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-33 F-38 F-37)
<== F-37 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T1-3))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-33 F-38 F-37)
==> F-39 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::RED-KEY) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T1-3))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-33 F-38 F-39)
==> Activation: INITIAL-CONTEXT.MOVE-TO-CHEST-WITH-KEY : (F-19 F-32 F-39 F-6)
<== F-33 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::RED-KEY))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-33 F-38 F-39)
1
[1] CL-USER(28): (LISA-USER::walk 1)
FIRE 24: INITIAL-CONTEXT.MOVE-TO-CHEST-WITH-KEY (F-19 F-32 F-39 F-6)
==> F-40 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.WALK-HOLDING-OBJECT : (F-40 F-39 F-38)
1
[1] CL-USER(29): (LISA-USER::walk 1)
FIRE 25: INITIAL-CONTEXT.WALK-HOLDING-OBJECT (F-40 F-39 F-38)
Monkey walks to T2-2 holding the RED-KEY.
<== F-39 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::RED-KEY) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T1-3))
==> F-41 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::RED-KEY) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.UNLOCK-CHEST-WITH-KEY : (F-19 F-6 F-32 F-41)
==> Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-40 F-41)
<== F-40 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::T2-2))
<== Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-40 F-41)
1
[1] CL-USER(30): (LISA-USER::walk 1)
FIRE 26: INITIAL-CONTEXT.UNLOCK-CHEST-WITH-KEY (F-19 F-6 F-32 F-41)
Monkey opens the RED-CHEST with the RED-KEY revealing the LADDER.
<== F-6 (LISA-USER::CHEST (LISA-USER::UNLOCKED-BY LISA-USER::RED-KEY) (LISA-USER::CONTENTS LISA-USER::LADDER) (LISA-USER::NAME LISA-USER::RED-CHEST))
==> F-42 (LISA-USER::CHEST (LISA-USER::UNLOCKED-BY LISA-USER::RED-KEY) (LISA-USER::CONTENTS LISA-USER::NOTHING) (LISA-USER::NAME LISA-USER::RED-CHEST))
==> Activation: INITIAL-CONTEXT.UNLOCK-CHEST-WITH-KEY : (F-19 F-42 F-32 F-41)
==> F-43 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::LOCATION LISA-USER::T2-2) (LISA-USER::NAME LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE : (F-18 F-43 F-41)
<== F-19 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::UNLOCK) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::RED-CHEST))
<== Activation: INITIAL-CONTEXT.UNLOCK-CHEST-WITH-KEY : (F-19 F-42 F-32 F-41)
1
[1] CL-USER(31): (LISA-USER::walk 1)
FIRE 27: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE (F-18 F-43 F-41)
==> F-44 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.CLIMB-TO-HOLD : (F-44 F-43 F-41)
1
[1] CL-USER(32): (LISA-USER::walk 1)
FIRE 28: INITIAL-CONTEXT.CLIMB-TO-HOLD (F-44 F-43 F-41)
==> F-45 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::RED-CHEST))
==> Activation: INITIAL-CONTEXT.DROP-TO-CLIMB : (F-45 F-32 F-41)
1
[1] CL-USER(33): (LISA-USER::walk 1)
FIRE 29: INITIAL-CONTEXT.DROP-TO-CLIMB (F-45 F-32 F-41)
==> F-46 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::BLANK))
==> Activation: INITIAL-CONTEXT.DROP-OBJECT : (F-46 F-41 F-38)
1
[1] CL-USER(34): (LISA-USER::walk 1)
FIRE 30: INITIAL-CONTEXT.DROP-OBJECT (F-46 F-41 F-38)
Monkey drops the RED-KEY.
<== F-41 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::RED-KEY) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> F-47 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.CLIMB-DIRECTLY : (F-45 F-32 F-47)
Error: the variable LISA-USER::?ON has no value.
BREAK called.
Type :CONTINUE to return from break or :RESET to return to top level.
[2] CL-USER(35): (LISA-USER::walk 1)
FIRE 31: INITIAL-CONTEXT.CLIMB-DIRECTLY (F-45 F-32 F-47)
Monkey climbs onto the RED-CHEST.
<== F-47 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> F-48 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-45 F-48)
==> Activation: INITIAL-CONTEXT.GRAB-OBJECT : (F-44 F-43 F-48)
<== F-45 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::RED-CHEST))
<== Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-45 F-48)
1
[2] CL-USER(36): (LISA-USER::walk 1)
FIRE 32: INITIAL-CONTEXT.GRAB-OBJECT (F-44 F-43 F-48)
Monkey grabs the LADDER.
<== F-43 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::LOCATION LISA-USER::T2-2) (LISA-USER::NAME LISA-USER::LADDER))
==> F-49 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-44 F-49 F-48)
<== F-48 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-44 F-49 F-48)
==> F-50 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-44 F-49 F-50)
==> Activation: INITIAL-CONTEXT.DROP-OBJECT : (F-46 F-50 F-49)
==> Activation: INITIAL-CONTEXT.MOVE-OBJECT-TO-PLACE : (F-18 F-50)
<== F-44 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-44 F-49 F-50)
1
[2] CL-USER(37): (LISA-USER::walk 1)
FIRE 33: INITIAL-CONTEXT.DROP-OBJECT (F-46 F-50 F-49)
Monkey drops the LADDER.
<== F-50 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
<== Activation: INITIAL-CONTEXT.MOVE-OBJECT-TO-PLACE : (F-18 F-50)
==> F-51 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE : (F-18 F-49 F-51)
<== F-49 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::LADDER))
<== Activation: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE : (F-18 F-49 F-51)
==> F-52 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::LOCATION LISA-USER::T2-2) (LISA-USER::NAME LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE : (F-18 F-52 F-51)
<== F-46 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::BLANK))
1
[2] CL-USER(38): (LISA-USER::walk 1)
FIRE 34: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE (F-18 F-52 F-51)
==> F-53 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.GRAB-OBJECT : (F-53 F-52 F-51)
1
[2] CL-USER(39): (LISA-USER::walk 1)
FIRE 35: INITIAL-CONTEXT.GRAB-OBJECT (F-53 F-52 F-51)
Monkey grabs the LADDER.
<== F-52 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::LOCATION LISA-USER::T2-2) (LISA-USER::NAME LISA-USER::LADDER))
==> F-54 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-53 F-54 F-51)
<== F-51 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-53 F-54 F-51)
==> F-55 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-53 F-54 F-55)
==> Activation: INITIAL-CONTEXT.MOVE-OBJECT-TO-PLACE : (F-18 F-55)
<== F-53 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-53 F-54 F-55)
1
[2] CL-USER(40): (LISA-USER::walk 1)
FIRE 36: INITIAL-CONTEXT.MOVE-OBJECT-TO-PLACE (F-18 F-55)
==> F-56 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::T7-7))
==> Activation: INITIAL-CONTEXT.GET-ON-FLOOR-TO-WALK : (F-56 F-55)
1
[2] CL-USER(41): (LISA-USER::walk 1)
FIRE 37: INITIAL-CONTEXT.GET-ON-FLOOR-TO-WALK (F-56 F-55)
==> F-57 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 FLOOR))
==> Activation: INITIAL-CONTEXT.JUMP-ONTO-FLOOR : (F-57 F-55)
1
[2] CL-USER(42): (LISA-USER::walk 1)
FIRE 38: INITIAL-CONTEXT.JUMP-ONTO-FLOOR (F-57 F-55)
Monkey jumps off the RED-CHEST onto the floor.
<== F-55 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::RED-CHEST) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> F-58 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> Activation: INITIAL-CONTEXT.WALK-HOLDING-OBJECT : (F-56 F-58 F-54)
==> Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-57 F-58)
<== F-57 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 FLOOR))
<== Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-57 F-58)
1
[2] CL-USER(43): (LISA-USER::walk 1)
FIRE 39: INITIAL-CONTEXT.WALK-HOLDING-OBJECT (F-56 F-58 F-54)
Monkey walks to T7-7 holding the LADDER.
<== F-58 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T2-2))
==> F-59 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> Activation: INITIAL-CONTEXT.CLIMB-TO-HOLD : (F-17 F-7 F-59)
==> Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-56 F-59)
==> Activation: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED : (F-18 F-59 F-54)
<== F-56 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::T7-7))
<== Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-56 F-59)
1
[2] CL-USER(44): (LISA-USER::walk 1)
FIRE 40: INITIAL-CONTEXT.CLIMB-TO-HOLD (F-17 F-7 F-59)
==> F-60 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 CEILING))
1
[2] CL-USER(45): (LISA-USER::walk 1)
FIRE 41: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED (F-18 F-59 F-54)
Monkey drops the LADDER.
<== F-59 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> F-61 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> Activation: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE : (F-18 F-54 F-61)
==> Activation: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED : (F-18 F-61 F-54)
<== F-54 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::LADDER))
<== Activation: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED : (F-18 F-61 F-54)
<== Activation: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE : (F-18 F-54 F-61)
==> F-62 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::LOCATION LISA-USER::T7-7) (LISA-USER::NAME LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.CLIMB-LADDER-TO-HOLD : (F-17 F-7 F-62 F-61)
==> Activation: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED : (F-18 F-61 F-62)
==> Activation: INITIAL-CONTEXT.ALREADY-MOVED-OBJECT : (F-18 F-62)
<== F-18 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::MOVE) (LISA-USER::ARGUMENT-2 LISA-USER::T7-7) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
<== Activation: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED : (F-18 F-61 F-62)
<== Activation: INITIAL-CONTEXT.ALREADY-MOVED-OBJECT : (F-18 F-62)
1
[2] CL-USER(46): (LISA-USER::walk 1)
FIRE 42: INITIAL-CONTEXT.CLIMB-LADDER-TO-HOLD (F-17 F-7 F-62 F-61)
==> F-63 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.CLIMB-DIRECTLY : (F-63 F-62 F-61)
1
[2] CL-USER(47): (LISA-USER::walk 1)
FIRE 43: INITIAL-CONTEXT.CLIMB-DIRECTLY (F-63 F-62 F-61)
Monkey climbs onto the LADDER.
<== F-61 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> F-64 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-63 F-64)
==> Activation: INITIAL-CONTEXT.GRAB-OBJECT-FROM-LADDER : (F-17 F-7 F-62 F-64)
<== F-63 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
<== Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-63 F-64)
1
[2] CL-USER(48): (LISA-USER::walk 1)
FIRE 44: INITIAL-CONTEXT.GRAB-OBJECT-FROM-LADDER (F-17 F-7 F-62 F-64)
Monkey grabs the BLUE-CHEST.
<== F-7 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF CEILING) (LISA-USER::LOCATION LISA-USER::T7-7) (LISA-USER::NAME LISA-USER::BLUE-CHEST))
==> F-65 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::BLUE-CHEST))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-17 F-65 F-64)
<== F-64 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-17 F-65 F-64)
==> F-66 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::BLUE-CHEST) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-17 F-65 F-66)
==> Activation: INITIAL-CONTEXT.PUT-CHEST-ON-FLOOR : (F-16 F-66 F-65)
<== F-17 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::BLUE-CHEST))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-17 F-65 F-66)
1
[2] CL-USER(49): (LISA-USER::walk 1)
FIRE 45: INITIAL-CONTEXT.PUT-CHEST-ON-FLOOR (F-16 F-66 F-65)
Monkey throws the BLUE-CHEST off the LADDER onto the floor.
<== F-66 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::BLUE-CHEST) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> F-67 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> Activation: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR : (F-16 F-65 F-67)
<== F-65 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::BLUE-CHEST))
<== Activation: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR : (F-16 F-65 F-67)
==> F-68 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::LOCATION LISA-USER::T7-7) (LISA-USER::NAME LISA-USER::BLUE-CHEST))
==> Activation: INITIAL-CONTEXT.GET-KEY-TO-UNLOCK : (F-16 F-68 F-9 F-67)
1
[2] CL-USER(50): (LISA-USER::walk 1)
FIRE 46: INITIAL-CONTEXT.GET-KEY-TO-UNLOCK (F-16 F-68 F-9 F-67)
==> F-69 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::BLUE-KEY))
==> Activation: INITIAL-CONTEXT.UNLOCK-CHEST-TO-HOLD-OBJECT : (F-69 F-12)
1
[2] CL-USER(51): (LISA-USER::walk 1)
FIRE 47: INITIAL-CONTEXT.UNLOCK-CHEST-TO-HOLD-OBJECT (F-69 F-12)
==> F-70 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::UNLOCK) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::GREEN-CHEST))
==> Activation: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR : (F-70 F-11 F-67)
1
[2] CL-USER(52): (LISA-USER::walk 1)
FIRE 48: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR (F-70 F-11 F-67)
==> F-71 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::GREEN-CHEST))
==> Activation: INITIAL-CONTEXT.USE-LADDER-TO-HOLD : (F-71 F-11)
1
[2] CL-USER(53): (LISA-USER::walk 1)
FIRE 49: INITIAL-CONTEXT.USE-LADDER-TO-HOLD (F-71 F-11)
==> F-72 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::MOVE) (LISA-USER::ARGUMENT-2 LISA-USER::T8-8) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE : (F-72 F-62 F-67)
1
[2] CL-USER(54): (LISA-USER::walk 1)
FIRE 50: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE (F-72 F-62 F-67)
==> F-73 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.CLIMB-TO-HOLD : (F-73 F-62 F-67)
1
[2] CL-USER(55): (LISA-USER::walk 1)
FIRE 51: INITIAL-CONTEXT.CLIMB-TO-HOLD (F-73 F-62 F-67)
==> F-74 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 FLOOR))
==> Activation: INITIAL-CONTEXT.JUMP-ONTO-FLOOR : (F-74 F-67)
1
[2] CL-USER(56): (LISA-USER::walk 1)
FIRE 52: INITIAL-CONTEXT.JUMP-ONTO-FLOOR (F-74 F-67)
Monkey jumps off the LADDER onto the floor.
<== F-67 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> F-75 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-74 F-75)
==> Activation: INITIAL-CONTEXT.GRAB-OBJECT : (F-73 F-62 F-75)
<== F-74 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 FLOOR))
<== Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-74 F-75)
1
[2] CL-USER(57): (LISA-USER::walk 1)
FIRE 53: INITIAL-CONTEXT.GRAB-OBJECT (F-73 F-62 F-75)
Monkey grabs the LADDER.
<== F-62 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::LOCATION LISA-USER::T7-7) (LISA-USER::NAME LISA-USER::LADDER))
==> F-76 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-73 F-76 F-75)
<== F-75 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-73 F-76 F-75)
==> F-77 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-73 F-76 F-77)
==> Activation: INITIAL-CONTEXT.MOVE-OBJECT-TO-PLACE : (F-72 F-77)
<== F-73 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-73 F-76 F-77)
1
[2] CL-USER(58): (LISA-USER::walk 1)
FIRE 54: INITIAL-CONTEXT.MOVE-OBJECT-TO-PLACE (F-72 F-77)
==> F-78 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::T8-8))
==> Activation: INITIAL-CONTEXT.WALK-HOLDING-OBJECT : (F-78 F-77 F-76)
1
[2] CL-USER(59): (LISA-USER::walk 1)
FIRE 55: INITIAL-CONTEXT.WALK-HOLDING-OBJECT (F-78 F-77 F-76)
Monkey walks to T8-8 holding the LADDER.
<== F-77 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T7-7))
==> F-79 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
==> Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-78 F-79)
==> Activation: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED : (F-72 F-79 F-76)
<== F-78 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::T8-8))
<== Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-78 F-79)
1
[2] CL-USER(60): (LISA-USER::walk 1)
FIRE 56: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED (F-72 F-79 F-76)
Monkey drops the LADDER.
<== F-79 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::LADDER) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
==> F-80 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
==> Activation: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE : (F-72 F-76 F-80)
==> Activation: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED : (F-72 F-80 F-76)
<== F-76 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::LADDER))
<== Activation: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED : (F-72 F-80 F-76)
<== Activation: INITIAL-CONTEXT.HOLD-OBJECT-TO-MOVE : (F-72 F-76 F-80)
==> F-81 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::LOCATION LISA-USER::T8-8) (LISA-USER::NAME LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.CLIMB-LADDER-TO-HOLD : (F-71 F-11 F-81 F-80)
==> Activation: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED : (F-72 F-80 F-81)
==> Activation: INITIAL-CONTEXT.ALREADY-MOVED-OBJECT : (F-72 F-81)
<== F-72 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::MOVE) (LISA-USER::ARGUMENT-2 LISA-USER::T8-8) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
<== Activation: INITIAL-CONTEXT.DROP-OBJECT-ONCE-MOVED : (F-72 F-80 F-81)
<== Activation: INITIAL-CONTEXT.ALREADY-MOVED-OBJECT : (F-72 F-81)
1
[2] CL-USER(61): (LISA-USER::walk 1)
FIRE 57: INITIAL-CONTEXT.CLIMB-LADDER-TO-HOLD (F-71 F-11 F-81 F-80)
==> F-82 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
==> Activation: INITIAL-CONTEXT.CLIMB-DIRECTLY : (F-82 F-81 F-80)
1
[2] CL-USER(62): (LISA-USER::walk 1)
FIRE 58: INITIAL-CONTEXT.CLIMB-DIRECTLY (F-82 F-81 F-80)
Monkey climbs onto the LADDER.
<== F-80 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
==> F-83 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
==> Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-82 F-83)
==> Activation: INITIAL-CONTEXT.GRAB-OBJECT-FROM-LADDER : (F-71 F-11 F-81 F-83)
<== F-82 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::LADDER))
<== Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-82 F-83)
1
[2] CL-USER(63): (LISA-USER::walk 1)
FIRE 59: INITIAL-CONTEXT.GRAB-OBJECT-FROM-LADDER (F-71 F-11 F-81 F-83)
Monkey grabs the GREEN-CHEST.
<== F-11 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF CEILING) (LISA-USER::LOCATION LISA-USER::T8-8) (LISA-USER::NAME LISA-USER::GREEN-CHEST))
==> F-84 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::GREEN-CHEST))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-71 F-84 F-83)
<== F-83 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-71 F-84 F-83)
==> F-85 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::GREEN-CHEST) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-71 F-84 F-85)
==> Activation: INITIAL-CONTEXT.PUT-CHEST-ON-FLOOR : (F-70 F-85 F-84)
<== F-71 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::GREEN-CHEST))
<== Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-71 F-84 F-85)
1
[2] CL-USER(64): (LISA-USER::walk 1)
FIRE 60: INITIAL-CONTEXT.PUT-CHEST-ON-FLOOR (F-70 F-85 F-84)
Monkey throws the GREEN-CHEST off the LADDER onto the floor.
<== F-85 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::GREEN-CHEST) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
==> F-86 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
==> Activation: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR : (F-70 F-84 F-86)
<== F-84 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF LISA-USER::HELD) (LISA-USER::LOCATION LISA-USER::HELD) (LISA-USER::NAME LISA-USER::GREEN-CHEST))
<== Activation: INITIAL-CONTEXT.HOLD-CHEST-TO-PUT-ON-FLOOR : (F-70 F-84 F-86)
==> F-87 (LISA-USER::THING (LISA-USER::WEIGHT LISA-USER::LIGHT) (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::LOCATION LISA-USER::T8-8) (LISA-USER::NAME LISA-USER::GREEN-CHEST))
==> Activation: INITIAL-CONTEXT.GET-KEY-TO-UNLOCK : (F-70 F-87 F-12 F-86)
1
[2] CL-USER(65): (LISA-USER::walk 1)
FIRE 61: INITIAL-CONTEXT.GET-KEY-TO-UNLOCK (F-70 F-87 F-12 F-86)
==> F-88 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::HOLD) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::RED-KEY))
==> Activation: INITIAL-CONTEXT.WALK-TO-HOLD : (F-88 F-38 F-86)
1
[2] CL-USER(66): (LISA-USER::walk 1)
FIRE 62: INITIAL-CONTEXT.WALK-TO-HOLD (F-88 F-38 F-86)
==> F-89 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::HELD))
==> Activation: INITIAL-CONTEXT.GET-ON-FLOOR-TO-WALK : (F-89 F-86)
1
[2] CL-USER(67): (LISA-USER::walk 1)
FIRE 63: INITIAL-CONTEXT.GET-ON-FLOOR-TO-WALK (F-89 F-86)
==> F-90 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 FLOOR))
==> Activation: INITIAL-CONTEXT.JUMP-ONTO-FLOOR : (F-90 F-86)
1
[2] CL-USER(68): (LISA-USER::walk 1)
FIRE 64: INITIAL-CONTEXT.JUMP-ONTO-FLOOR (F-90 F-86)
Monkey jumps off the LADDER onto the floor.
<== F-86 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF LISA-USER::LADDER) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
==> F-91 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
==> Activation: INITIAL-CONTEXT.WALK-HOLDING-NOTHING : (F-89 F-91)
==> Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-90 F-91)
<== F-90 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 FLOOR))
<== Activation: INITIAL-CONTEXT.ALREADY-ON-OBJECT : (F-90 F-91)
1
[2] CL-USER(69): (LISA-USER::walk 1)
FIRE 65: INITIAL-CONTEXT.WALK-HOLDING-NOTHING (F-89 F-91)
Monkey walks to HELD.
<== F-91 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::T8-8))
==> F-92 (LISA-USER::MONKEY (LISA-USER::ON-TOP-OF FLOOR) (LISA-USER::HOLDING LISA-USER::BLANK) (LISA-USER::SATISFIED NIL) (LISA-USER::LOCATION LISA-USER::HELD))
==> Activation: INITIAL-CONTEXT.CLIMB-TO-HOLD : (F-88 F-38 F-92)
==> Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-89 F-92)
<== F-89 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::WALK-TO) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::HELD))
<== Activation: INITIAL-CONTEXT.ALREADY-AT-PLACE : (F-89 F-92)
1
[2] CL-USER(70): (LISA-USER::walk 1)
FIRE 66: INITIAL-CONTEXT.CLIMB-TO-HOLD (F-88 F-38 F-92)
==> F-93 (LISA-USER::GOAL-IS-TO (LISA-USER::ACTION LISA-USER::ON) (LISA-USER::ARGUMENT-2 NIL) (LISA-USER::ARGUMENT-1 LISA-USER::HELD))
1
[2] CL-USER(71): (LISA-USER::walk 1)
0