
           CRSV Version 1.31 (09/19/91)
CLIPS Cross Reference, Style and Verification Tool


========================  PROCESSING FILE  =======================

FILENAME: ../examples/mab.clp
Warning (  238) in: drop-object-once-moved
        Variable <obj> bound, but not used.

===================  FINISHED PROCESSING FILE  ===================


===================== STATIC ANALYSIS SUMMARY ====================


==================================================================

Total number of rules ......... 26 
Total number of templates ..... 4
Total number of relations ..... 0
Total number of Warnings ...... 1

======================= RULE SUMMARY ======================

INFO FOR RULE: already-at-place
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        2         1        1         0        0

INFO FOR RULE: already-moved-object
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        2         1        1         0        0

INFO FOR RULE: already-on-object
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        2         1        1         0        0

INFO FOR RULE: climb-directly
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        3         3        2         1        0

INFO FOR RULE: climb-ladder-to-hold
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        5         1        0         1        0

INFO FOR RULE: drop-object-once-moved
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        3         4        3         2        0

INFO FOR RULE: drop-to-climb
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        4         1        0         1        0

INFO FOR RULE: drop-to-hold
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        4         1        0         1        0

INFO FOR RULE: get-key-to-unlock
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        5         1        0         1        0

INFO FOR RULE: get-on-floor-to-walk
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        3         1        0         1        0

INFO FOR RULE: grab-object
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        3         4        3         2        0

INFO FOR RULE: grab-object-from-ladder
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        4         4        3         2        0

INFO FOR RULE: hold-chest-to-put-on-floor
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        4         1        0         1        0

INFO FOR RULE: hold-object-to-move
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        4         1        0         1        0

INFO FOR RULE: hold-to-eat
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        3         1        0         1        0

INFO FOR RULE: move-object-to-place
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        3         1        0         1        0

INFO FOR RULE: put-chest-on-floor
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        3         3        2         2        0

INFO FOR RULE: satisfy-hunger
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        3         3        2         1        0

INFO FOR RULE: startup
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        0        13        0        13        0

INFO FOR RULE: unlock-chest-to-hold-object
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        3         1        0         1        0

INFO FOR RULE: unlock-chest-to-move-object
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        3         1        0         1        0

INFO FOR RULE: unlock-chest-with-key
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        4         4        2         2        0

INFO FOR RULE: use-ladder-to-hold
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        4         1        0         1        0

INFO FOR RULE: walk-holding-nothing
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        2         3        2         1        0

INFO FOR RULE: walk-to-hold
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        4         1        0         1        0

INFO FOR RULE: walk-to-place-to-climb
From file    : ../examples/mab.clp
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  No          0        4         1        0         1        0

===============  RELATION/TEMPLATE SUMMARY  ===============


-----------------------------------------------------------
   TEMPLATE NAME: chest
-----------------------------------------------------------

Appears on the LHS of the following rules:
   unlock-chest-to-move-object  (4 fields)
   unlock-chest-to-hold-object  (4 fields)
   unlock-chest-with-key  (4 fields)
   get-key-to-unlock  (4 fields)

Asserted by the following rules:
   startup  (4 fields)
   startup  (4 fields)
   startup  (4 fields)
   unlock-chest-with-key  (4 fields)

Retracted by the following rules:
   unlock-chest-with-key

The following literal values were used:
   In field <unlocked-by>
	blue-key (1 times)
	red-key (2 times)
	CRSV_NIL (1 times)
   In field <contents>
	blue-key (1 times)
	bananas (1 times)
	ladder (1 times)
	nothing (1 times)
   In field <name>
	green-chest (1 times)
	blue-chest (1 times)
	red-chest (1 times)
	CRSV_NIL (1 times)


-----------------------------------------------------------
   TEMPLATE NAME: goal-is-to
-----------------------------------------------------------

Appears on the LHS of the following rules:
   satisfy-hunger  (3 fields)
   hold-to-eat  (3 fields)
   hold-to-eat  (3 fields)
   already-on-object  (3 fields)
   climb-directly  (3 fields)
   drop-to-climb  (3 fields)
   drop-to-climb  (3 fields)
   walk-to-place-to-climb  (3 fields)
   walk-to-place-to-climb  (3 fields)
   walk-holding-nothing  (3 fields)
   get-on-floor-to-walk  (3 fields)
   get-on-floor-to-walk  (3 fields)
   already-at-place  (3 fields)
   already-moved-object  (4 fields)
   drop-object-once-moved  (4 fields)
   move-object-to-place  (3 fields)
   move-object-to-place  (4 fields)
   hold-object-to-move  (3 fields)
   hold-object-to-move  (4 fields)
   unlock-chest-to-move-object  (3 fields)
   unlock-chest-to-move-object  (4 fields)
   grab-object  (3 fields)
   drop-to-hold  (3 fields)
   drop-to-hold  (3 fields)
   walk-to-hold  (3 fields)
   walk-to-hold  (3 fields)
   grab-object-from-ladder  (3 fields)
   climb-ladder-to-hold  (3 fields)
   climb-ladder-to-hold  (3 fields)
   use-ladder-to-hold  (4 fields)
   use-ladder-to-hold  (3 fields)
   unlock-chest-to-hold-object  (3 fields)
   unlock-chest-to-hold-object  (3 fields)
   unlock-chest-with-key  (3 fields)
   get-key-to-unlock  (3 fields)
   get-key-to-unlock  (3 fields)
   put-chest-on-floor  (3 fields)
   hold-chest-to-put-on-floor  (3 fields)
   hold-chest-to-put-on-floor  (3 fields)

Asserted by the following rules:
   startup  (3 fields)
   hold-to-eat  (3 fields)
   drop-to-climb  (3 fields)
   walk-to-place-to-climb  (3 fields)
   get-on-floor-to-walk  (3 fields)
   move-object-to-place  (3 fields)
   hold-object-to-move  (3 fields)
   unlock-chest-to-move-object  (3 fields)
   drop-to-hold  (3 fields)
   walk-to-hold  (3 fields)
   climb-ladder-to-hold  (3 fields)
   use-ladder-to-hold  (4 fields)
   unlock-chest-to-hold-object  (3 fields)
   get-key-to-unlock  (3 fields)
   hold-chest-to-put-on-floor  (3 fields)

Retracted by the following rules:
   satisfy-hunger
   already-on-object
   climb-directly
   walk-holding-nothing
   already-at-place
   already-moved-object
   drop-object-once-moved
   grab-object
   grab-object-from-ladder
   unlock-chest-with-key

The following literal values were used:
   In multi-field <arguments>
	bananas (1 times)
	floor (3 times)
	blank (5 times)
	ladder (4 times)
   In field <action>
	eat (3 times)
	walk-to (10 times)
	on (10 times)
	move (7 times)
	hold (21 times)
	unlock (9 times)


-----------------------------------------------------------
   TEMPLATE NAME: monkey
-----------------------------------------------------------

Appears on the LHS of the following rules:
   satisfy-hunger  (4 fields)
   hold-to-eat  (4 fields)
   already-on-object  (4 fields)
   climb-directly  (4 fields)
   drop-to-climb  (4 fields)
   walk-to-place-to-climb  (4 fields)
   walk-holding-nothing  (4 fields)
   get-on-floor-to-walk  (4 fields)
   already-at-place  (4 fields)
   drop-object-once-moved  (4 fields)
   move-object-to-place  (4 fields)
   hold-object-to-move  (4 fields)
   grab-object  (4 fields)
   drop-to-hold  (4 fields)
   walk-to-hold  (4 fields)
   grab-object-from-ladder  (4 fields)
   climb-ladder-to-hold  (4 fields)
   unlock-chest-with-key  (4 fields)
   get-key-to-unlock  (4 fields)
   put-chest-on-floor  (4 fields)
   hold-chest-to-put-on-floor  (4 fields)

Asserted by the following rules:
   startup  (4 fields)
   satisfy-hunger  (4 fields)
   climb-directly  (4 fields)
   walk-holding-nothing  (4 fields)
   drop-object-once-moved  (4 fields)
   grab-object  (4 fields)
   grab-object-from-ladder  (4 fields)
   put-chest-on-floor  (4 fields)

Retracted by the following rules:
   satisfy-hunger
   climb-directly
   walk-holding-nothing
   drop-object-once-moved
   grab-object
   grab-object-from-ladder
   put-chest-on-floor

The following literal values were used:
   In field <holding>
	nothing (2 times)
	blank (10 times)
   In field <on-top-of>
	green-couch (1 times)
	ladder (2 times)
	floor (9 times)
   In field <location>
	t5-7 (1 times)
	green-couch (6 times)


-----------------------------------------------------------
   TEMPLATE NAME: object
-----------------------------------------------------------

Appears on the LHS of the following rules:
   satisfy-hunger  (5 fields)
   climb-directly  (5 fields)
   drop-to-climb  (5 fields)
   walk-to-place-to-climb  (5 fields)
   already-moved-object  (5 fields)
   drop-object-once-moved  (5 fields)
   hold-object-to-move  (5 fields)
   grab-object  (5 fields)
   drop-to-hold  (5 fields)
   walk-to-hold  (5 fields)
   grab-object-from-ladder  (5 fields)
   grab-object-from-ladder  (5 fields)
   climb-ladder-to-hold  (5 fields)
   climb-ladder-to-hold  (5 fields)
   use-ladder-to-hold  (5 fields)
   use-ladder-to-hold  (5 fields)
   unlock-chest-with-key  (5 fields)
   get-key-to-unlock  (5 fields)
   put-chest-on-floor  (5 fields)
   hold-chest-to-put-on-floor  (5 fields)

Asserted by the following rules:
   startup  (5 fields)
   startup  (5 fields)
   startup  (5 fields)
   startup  (5 fields)
   startup  (5 fields)
   startup  (5 fields)
   startup  (5 fields)
   startup  (5 fields)
   drop-object-once-moved  (5 fields)
   grab-object  (5 fields)
   grab-object-from-ladder  (5 fields)
   unlock-chest-with-key  (5 fields)
   put-chest-on-floor  (5 fields)

Retracted by the following rules:
   satisfy-hunger
   drop-object-once-moved
   grab-object
   grab-object-from-ladder
   put-chest-on-floor

The following literal values were used:
   In field <location>
	t1-3 (1 times)
	t8-8 (2 times)
	t7-7 (1 times)
	t2-2 (3 times)
	t5-7 (1 times)
	held (2 times)
   In field <name>
	red-key (1 times)
	green-chest (1 times)
	blue-couch (1 times)
	blue-chest (1 times)
	red-chest (1 times)
	big-pillow (1 times)
	red-couch (1 times)
	green-couch (1 times)
	ladder (3 times)
	CRSV_NIL (4 times)
   In field <weight>
	heavy (3 times)
	light (19 times)
   In field <on-top-of>
	big-pillow (1 times)
	red-couch (1 times)
	held (2 times)
	ceiling (6 times)
	floor (9 times)

====================  CRSV ANALYSIS COMPLETED  ===================

