;;cpu time (non-gc) 17784 msec user, 917 msec system
;;cpu time (gc)     3400 msec user, 300 msec system
;;cpu time (total)  21184 msec user, 1217 msec system
;;real time  32455 msec
;;space allocation:
;; 1017191 cons cells, 875 symbols, 8151048 other bytes,


(setq *SAVED-RULES* (quote 
((|sr31|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (SURFACE-CONDITION <G-102> POLISHED))
        (CANDIDATE-GOAL <NODE> (SHAPE <G-102> CYLINDRICAL))))
  (RHS (PREFER GOAL (SHAPE <G-102> CYLINDRICAL) (SURFACE-CONDITION <G-102> POLISHED))) (CUM-SAVINGS 30)
  (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0) (UNIQUE-SIG (GOAL-PREF <V156>)) (STATIC T)
  (WAS-LEARNED STATIC) (PRIORITY 0)
  ((PREFER GOAL (SHAPE <G-102> CYLINDRICAL) (SURFACE-CONDITION <G-102> POLISHED))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (SURFACE-CONDITION <G-102> POLISHED))
        (CANDIDATE-GOAL <NODE> (SHAPE <G-102> CYLINDRICAL))))
  (RULE-TYPE GOAL-PREF))
 (|sr30|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (SURFACE-CONDITION <G-100> SMOOTH))
        (CANDIDATE-GOAL <NODE> (SHAPE <G-100> CYLINDRICAL))))
  (RHS (PREFER GOAL (SHAPE <G-100> CYLINDRICAL) (SURFACE-CONDITION <G-100> SMOOTH))) (CUM-SAVINGS 30)
  (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0) (UNIQUE-SIG (GOAL-PREF <V157>)) (STATIC T)
  (WAS-LEARNED STATIC) (PRIORITY 0)
  ((PREFER GOAL (SHAPE <G-100> CYLINDRICAL) (SURFACE-CONDITION <G-100> SMOOTH))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (SURFACE-CONDITION <G-100> SMOOTH))
        (CANDIDATE-GOAL <NODE> (SHAPE <G-100> CYLINDRICAL))))
  (RULE-TYPE GOAL-PREF))
 (|sr29|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (PAINTED <G-93> <G-92>))
        (CANDIDATE-GOAL <NODE> (SHAPE <G-93> CYLINDRICAL))))
  (RHS (PREFER GOAL (SHAPE <G-93> CYLINDRICAL) (PAINTED <G-93> <G-92>))) (CUM-SAVINGS 30)
  (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0) (UNIQUE-SIG (GOAL-PREF <V158>)) (STATIC T)
  (WAS-LEARNED STATIC) (PRIORITY 0)
  ((PREFER GOAL (SHAPE <G-93> CYLINDRICAL) (PAINTED <G-93> <G-92>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (PAINTED <G-93> <G-92>))
        (CANDIDATE-GOAL <NODE> (SHAPE <G-93> CYLINDRICAL))))
  (RULE-TYPE GOAL-PREF))
 (|sr28|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (PAINTED <G-80> <G-79>))
        (CANDIDATE-GOAL <NODE> (SURFACE-CONDITION <G-80> SMOOTH))))
  (RHS (PREFER GOAL (SURFACE-CONDITION <G-80> SMOOTH) (PAINTED <G-80> <G-79>))) (CUM-SAVINGS 30)
  (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0) (UNIQUE-SIG (GOAL-PREF <V159>)) (STATIC T)
  (WAS-LEARNED STATIC) (PRIORITY 0)
  ((PREFER GOAL (SURFACE-CONDITION <G-80> SMOOTH) (PAINTED <G-80> <G-79>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (PAINTED <G-80> <G-79>))
        (CANDIDATE-GOAL <NODE> (SURFACE-CONDITION <G-80> SMOOTH))))
  (RULE-TYPE GOAL-PREF))
 (|sr27|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-133> POLISHED))))
  (RHS (REJECT GOAL (JOINED <G-134> <G-133> <G-132>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-REJECT <V160>))
  (SIG-FOR-EBS (GOAL-SIG <NODE> (JOINED <G-134> <G-133> <G-132>)))
  (LHS-FOR-EBS (AND (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-133> POLISHED)))) (STATIC T)
  (WAS-LEARNED STATIC)
  ((REJECT GOAL (JOINED <G-134> <G-133> <G-132>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-133> POLISHED))))
  (RULE-TYPE GOAL-REJECT))
 (|sr26|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-134> POLISHED))))
  (RHS (REJECT GOAL (JOINED <G-134> <G-133> <G-132>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-REJECT <V161>))
  (SIG-FOR-EBS (GOAL-SIG <NODE> (JOINED <G-134> <G-133> <G-132>)))
  (LHS-FOR-EBS (AND (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-134> POLISHED)))) (STATIC T)
  (WAS-LEARNED STATIC)
  ((REJECT GOAL (JOINED <G-134> <G-133> <G-132>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-134> POLISHED))))
  (RULE-TYPE GOAL-REJECT))
 (|sr25|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SHAPE <G-133> CYLINDRICAL))))
  (RHS (REJECT GOAL (JOINED <G-134> <G-133> <G-132>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-REJECT <V162>))
  (SIG-FOR-EBS (GOAL-SIG <NODE> (JOINED <G-134> <G-133> <G-132>)))
  (LHS-FOR-EBS (AND (IS-TOP-LEVEL-GOAL <NODE> (SHAPE <G-133> CYLINDRICAL)))) (STATIC T)
  (WAS-LEARNED STATIC)
  ((REJECT GOAL (JOINED <G-134> <G-133> <G-132>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SHAPE <G-133> CYLINDRICAL))))
  (RULE-TYPE GOAL-REJECT))
 (|sr24|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SHAPE <G-134> CYLINDRICAL))))
  (RHS (REJECT GOAL (JOINED <G-134> <G-133> <G-132>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-REJECT <V163>))
  (SIG-FOR-EBS (GOAL-SIG <NODE> (JOINED <G-134> <G-133> <G-132>)))
  (LHS-FOR-EBS (AND (IS-TOP-LEVEL-GOAL <NODE> (SHAPE <G-134> CYLINDRICAL)))) (STATIC T)
  (WAS-LEARNED STATIC)
  ((REJECT GOAL (JOINED <G-134> <G-133> <G-132>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SHAPE <G-134> CYLINDRICAL))))
  (RULE-TYPE GOAL-REJECT))
 (|sr23|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-133> SMOOTH))))
  (RHS (REJECT GOAL (JOINED <G-134> <G-133> <G-132>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-REJECT <V164>))
  (SIG-FOR-EBS (GOAL-SIG <NODE> (JOINED <G-134> <G-133> <G-132>)))
  (LHS-FOR-EBS (AND (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-133> SMOOTH)))) (STATIC T)
  (WAS-LEARNED STATIC)
  ((REJECT GOAL (JOINED <G-134> <G-133> <G-132>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-133> SMOOTH))))
  (RULE-TYPE GOAL-REJECT))
 (|sr22|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-134> SMOOTH))))
  (RHS (REJECT GOAL (JOINED <G-134> <G-133> <G-132>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-REJECT <V165>))
  (SIG-FOR-EBS (GOAL-SIG <NODE> (JOINED <G-134> <G-133> <G-132>)))
  (LHS-FOR-EBS (AND (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-134> SMOOTH)))) (STATIC T)
  (WAS-LEARNED STATIC)
  ((REJECT GOAL (JOINED <G-134> <G-133> <G-132>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-134> SMOOTH))))
  (RULE-TYPE GOAL-REJECT))
 (|sr21|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (HAS-HOLE <G-133> <G-5> <G-6>))))
  (RHS (REJECT GOAL (JOINED <G-134> <G-133> <G-132>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-REJECT <V166>))
  (SIG-FOR-EBS (GOAL-SIG <NODE> (JOINED <G-134> <G-133> <G-132>)))
  (LHS-FOR-EBS (AND (IS-TOP-LEVEL-GOAL <NODE> (HAS-HOLE <G-133> <G-5> <G-6>)))) (STATIC T)
  (WAS-LEARNED STATIC)
  ((REJECT GOAL (JOINED <G-134> <G-133> <G-132>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (HAS-HOLE <G-133> <G-5> <G-6>))))
  (RULE-TYPE GOAL-REJECT))
 (|sr20|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (HAS-HOLE <G-134> <G-5> <G-6>))))
  (RHS (REJECT GOAL (JOINED <G-134> <G-133> <G-132>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-REJECT <V167>))
  (SIG-FOR-EBS (GOAL-SIG <NODE> (JOINED <G-134> <G-133> <G-132>)))
  (LHS-FOR-EBS (AND (IS-TOP-LEVEL-GOAL <NODE> (HAS-HOLE <G-134> <G-5> <G-6>)))) (STATIC T)
  (WAS-LEARNED STATIC)
  ((REJECT GOAL (JOINED <G-134> <G-133> <G-132>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (HAS-HOLE <G-134> <G-5> <G-6>))))
  (RULE-TYPE GOAL-REJECT))
 (|sr19|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (PAINTED <G-133> <G-11>))))
  (RHS (REJECT GOAL (JOINED <G-134> <G-133> <G-132>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-REJECT <V168>))
  (SIG-FOR-EBS (GOAL-SIG <NODE> (JOINED <G-134> <G-133> <G-132>)))
  (LHS-FOR-EBS (AND (IS-TOP-LEVEL-GOAL <NODE> (PAINTED <G-133> <G-11>)))) (STATIC T)
  (WAS-LEARNED STATIC)
  ((REJECT GOAL (JOINED <G-134> <G-133> <G-132>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (PAINTED <G-133> <G-11>))))
  (RULE-TYPE GOAL-REJECT))
 (|sr18|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (PAINTED <G-134> <G-11>))))
  (RHS (REJECT GOAL (JOINED <G-134> <G-133> <G-132>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-REJECT <V169>))
  (SIG-FOR-EBS (GOAL-SIG <NODE> (JOINED <G-134> <G-133> <G-132>)))
  (LHS-FOR-EBS (AND (IS-TOP-LEVEL-GOAL <NODE> (PAINTED <G-134> <G-11>)))) (STATIC T)
  (WAS-LEARNED STATIC)
  ((REJECT GOAL (JOINED <G-134> <G-133> <G-132>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (JOINED <G-134> <G-133> <G-132>))
        (IS-TOP-LEVEL-GOAL <NODE> (PAINTED <G-134> <G-11>))))
  (RULE-TYPE GOAL-REJECT))
 (|sr17|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CURRENT-GOAL <NODE> (SHAPE <G-363> CYLINDRICAL))
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-363> POLISHED))))
  (RHS (REJECT OPERATOR ROLL)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-REJECT <V170>)) (SIG-FOR-EBS (OP-SIG <NODE> (SHAPE <G-363> CYLINDRICAL) ROLL))
  (LHS-FOR-EBS (AND (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-363> POLISHED)))) (STATIC T)
  (WAS-LEARNED STATIC)
  ((REJECT OPERATOR ROLL)
   (AND (CURRENT-NODE <NODE>) (CURRENT-GOAL <NODE> (SHAPE <G-363> CYLINDRICAL))
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-363> POLISHED))))
  (RULE-TYPE OP-REJECT))
 (|sr16|
  (LHS
   (AND (CURRENT-NODE <V154>) (CURRENT-GOAL <V154> (SHAPE <G-2> CYLINDRICAL)) (CANDIDATE-OP <V154> ROLL)
        (KNOWN <V154> (~ (IS-OBJECT <G-2>)))))
  (RHS (REJECT OPERATOR ROLL)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V171>)) (SIG-FOR-EBS (OP-SIG <V154> (SHAPE <G-2> CYLINDRICAL) ROLL))
  (LHS-FOR-EBS (AND (KNOWN <V154> (~ (IS-OBJECT <G-2>))))) (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR ROLL)
   (AND (CURRENT-NODE <V154>) (CURRENT-GOAL <V154> (SHAPE <G-2> CYLINDRICAL)) (CANDIDATE-OP <V154> ROLL)
        (KNOWN <V154> (~ (IS-OBJECT <G-2>)))))
  (RULE-TYPE OP-REJECT))
 (|sr15|
  (LHS
   (AND (CURRENT-NODE <V153>) (CURRENT-GOAL <V153> (SHAPE <G-2> CYLINDRICAL))
        (CANDIDATE-OP <V153> LATHE) (KNOWN <V153> (~ (IS-OBJECT <G-2>)))))
  (RHS (REJECT OPERATOR LATHE)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V172>)) (SIG-FOR-EBS (OP-SIG <V153> (SHAPE <G-2> CYLINDRICAL) LATHE))
  (LHS-FOR-EBS (AND (KNOWN <V153> (~ (IS-OBJECT <G-2>))))) (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR LATHE)
   (AND (CURRENT-NODE <V153>) (CURRENT-GOAL <V153> (SHAPE <G-2> CYLINDRICAL))
        (CANDIDATE-OP <V153> LATHE) (KNOWN <V153> (~ (IS-OBJECT <G-2>)))))
  (RULE-TYPE OP-REJECT))
 (|sr14|
  (LHS
   (AND (CURRENT-NODE <V151>) (CURRENT-GOAL <V151> (HAS-HOLE <G-4> <G-5> <G-6>))
        (CANDIDATE-OP <V151> PUNCH)
        (KNOWN <V151>
               (OR (~ (IS-OBJECT <G-4>)) (~ (IS-PUNCHABLE <G-4> <G-5> <G-6>)) (~ (HAS-CLAMP PUNCH))
                   (~ (TEMPERATURE <G-4> COLD))))))
  (RHS (REJECT OPERATOR PUNCH)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V173>)) (SIG-FOR-EBS (OP-SIG <V151> (HAS-HOLE <G-4> <G-5> <G-6>) PUNCH))
  (LHS-FOR-EBS
   (AND (KNOWN <V151>
               (OR (~ (IS-OBJECT <G-4>)) (~ (IS-PUNCHABLE <G-4> <G-5> <G-6>)) (~ (HAS-CLAMP PUNCH))
                   (~ (TEMPERATURE <G-4> COLD))))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR PUNCH)
   (AND (CURRENT-NODE <V151>) (CURRENT-GOAL <V151> (HAS-HOLE <G-4> <G-5> <G-6>))
        (CANDIDATE-OP <V151> PUNCH)
        (KNOWN <V151>
               (OR (~ (IS-OBJECT <G-4>)) (~ (IS-PUNCHABLE <G-4> <G-5> <G-6>)) (~ (HAS-CLAMP PUNCH))
                   (~ (TEMPERATURE <G-4> COLD))))))
  (RULE-TYPE OP-REJECT))
 (|sr13|
  (LHS
   (AND (CURRENT-NODE <V150>) (CURRENT-GOAL <V150> (HAS-HOLE <G-4> <G-5> <G-6>))
        (CANDIDATE-OP <V150> DRILL-PRESS)
        (KNOWN <V150> (OR (~ (IS-OBJECT <G-4>)) (~ (IS-DRILLABLE <G-4> <G-6>)) (~ (HAVE-BIT <G-5>))))))
  (RHS (REJECT OPERATOR DRILL-PRESS)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V174>)) (SIG-FOR-EBS (OP-SIG <V150> (HAS-HOLE <G-4> <G-5> <G-6>) DRILL-PRESS))
  (LHS-FOR-EBS
   (AND (KNOWN <V150> (OR (~ (IS-OBJECT <G-4>)) (~ (IS-DRILLABLE <G-4> <G-6>)) (~ (HAVE-BIT <G-5>))))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR DRILL-PRESS)
   (AND (CURRENT-NODE <V150>) (CURRENT-GOAL <V150> (HAS-HOLE <G-4> <G-5> <G-6>))
        (CANDIDATE-OP <V150> DRILL-PRESS)
        (KNOWN <V150> (OR (~ (IS-OBJECT <G-4>)) (~ (IS-DRILLABLE <G-4> <G-6>)) (~ (HAVE-BIT <G-5>))))))
  (RULE-TYPE OP-REJECT))
 (|sr12|
  (LHS
   (AND (CURRENT-NODE <V149>) (CURRENT-GOAL <V149> (JOINED <G-7> <G-8> <G-9>))
        (CANDIDATE-OP <V149> BOLT)
        (KNOWN <V149>
               (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>)) (~ (CAN-BE-BOLTED <G-7> <G-8> <G-9>))
                   (AND (~ (HAS-HOLE <G-7> <V87> <G-9>))
                        (OR (~ (IS-DRILLABLE <G-7> <G-9>)) (~ (HAVE-BIT <V87>)))
                        (OR (~ (IS-PUNCHABLE <G-7> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                            (~ (TEMPERATURE <G-7> COLD))))
                   (AND (~ (HAS-HOLE <G-8> <V87> <G-9>))
                        (OR (~ (IS-DRILLABLE <G-8> <G-9>)) (~ (HAVE-BIT <V87>)))
                        (OR (~ (IS-PUNCHABLE <G-8> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                            (~ (TEMPERATURE <G-8> COLD))))
                   (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>))))))
  (RHS (REJECT OPERATOR BOLT)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V175>)) (SIG-FOR-EBS (OP-SIG <V149> (JOINED <G-7> <G-8> <G-9>) BOLT))
  (LHS-FOR-EBS
   (AND (KNOWN <V149>
               (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>)) (~ (CAN-BE-BOLTED <G-7> <G-8> <G-9>))
                   (AND (~ (HAS-HOLE <G-7> <V87> <G-9>))
                        (OR (~ (IS-DRILLABLE <G-7> <G-9>)) (~ (HAVE-BIT <V87>)))
                        (OR (~ (IS-PUNCHABLE <G-7> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                            (~ (TEMPERATURE <G-7> COLD))))
                   (AND (~ (HAS-HOLE <G-8> <V87> <G-9>))
                        (OR (~ (IS-DRILLABLE <G-8> <G-9>)) (~ (HAVE-BIT <V87>)))
                        (OR (~ (IS-PUNCHABLE <G-8> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                            (~ (TEMPERATURE <G-8> COLD))))
                   (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>))))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR BOLT)
   (AND (CURRENT-NODE <V149>) (CURRENT-GOAL <V149> (JOINED <G-7> <G-8> <G-9>))
        (CANDIDATE-OP <V149> BOLT)
        (KNOWN <V149>
               (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>)) (~ (CAN-BE-BOLTED <G-7> <G-8> <G-9>))
                   (AND (~ (HAS-HOLE <G-7> <V87> <G-9>))
                        (OR (~ (IS-DRILLABLE <G-7> <G-9>)) (~ (HAVE-BIT <V87>)))
                        (OR (~ (IS-PUNCHABLE <G-7> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                            (~ (TEMPERATURE <G-7> COLD))))
                   (AND (~ (HAS-HOLE <G-8> <V87> <G-9>))
                        (OR (~ (IS-DRILLABLE <G-8> <G-9>)) (~ (HAVE-BIT <V87>)))
                        (OR (~ (IS-PUNCHABLE <G-8> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                            (~ (TEMPERATURE <G-8> COLD))))
                   (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>))))))
  (RULE-TYPE OP-REJECT))
 (|sr11|
  (LHS
   (AND (CURRENT-NODE <V148>) (CURRENT-GOAL <V148> (JOINED <G-7> <G-8> <G-9>))
        (CANDIDATE-OP <V148> WELD)
        (KNOWN <V148>
               (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>)) (~ (CAN-BE-WELDED <G-7> <G-8> <G-9>))
                   (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>))))))
  (RHS (REJECT OPERATOR WELD)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V176>)) (SIG-FOR-EBS (OP-SIG <V148> (JOINED <G-7> <G-8> <G-9>) WELD))
  (LHS-FOR-EBS
   (AND (KNOWN <V148>
               (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>)) (~ (CAN-BE-WELDED <G-7> <G-8> <G-9>))
                   (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>))))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR WELD)
   (AND (CURRENT-NODE <V148>) (CURRENT-GOAL <V148> (JOINED <G-7> <G-8> <G-9>))
        (CANDIDATE-OP <V148> WELD)
        (KNOWN <V148>
               (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>)) (~ (CAN-BE-WELDED <G-7> <G-8> <G-9>))
                   (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>))))))
  (RULE-TYPE OP-REJECT))
 (|sr10|
  (LHS
   (AND (CURRENT-NODE <V147>) (CURRENT-GOAL <V147> (PAINTED <G-10> <G-11>))
        (CANDIDATE-OP <V147> SPRAY-PAINT)
        (KNOWN <V147>
               (OR (~ (SPRAYABLE <G-11>)) (~ (IS-OBJECT <G-10>)) (~ (HAS-CLAMP SPRAY-PAINTER))
                   (~ (TEMPERATURE <G-10> COLD))))))
  (RHS (REJECT OPERATOR SPRAY-PAINT)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V177>)) (SIG-FOR-EBS (OP-SIG <V147> (PAINTED <G-10> <G-11>) SPRAY-PAINT))
  (LHS-FOR-EBS
   (AND (KNOWN <V147>
               (OR (~ (SPRAYABLE <G-11>)) (~ (IS-OBJECT <G-10>)) (~ (HAS-CLAMP SPRAY-PAINTER))
                   (~ (TEMPERATURE <G-10> COLD))))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR SPRAY-PAINT)
   (AND (CURRENT-NODE <V147>) (CURRENT-GOAL <V147> (PAINTED <G-10> <G-11>))
        (CANDIDATE-OP <V147> SPRAY-PAINT)
        (KNOWN <V147>
               (OR (~ (SPRAYABLE <G-11>)) (~ (IS-OBJECT <G-10>)) (~ (HAS-CLAMP SPRAY-PAINTER))
                   (~ (TEMPERATURE <G-10> COLD))))))
  (RULE-TYPE OP-REJECT))
 (|sr9|
  (LHS
   (AND (CURRENT-NODE <V146>) (CURRENT-GOAL <V146> (PAINTED <G-10> <G-11>))
        (CANDIDATE-OP <V146> IMMERSION-PAINT)
        (KNOWN <V146> (OR (~ (IS-OBJECT <G-10>)) (~ (HAVE-PAINT-FOR-IMMERSION <G-11>))))))
  (RHS (REJECT OPERATOR IMMERSION-PAINT)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V178>)) (SIG-FOR-EBS (OP-SIG <V146> (PAINTED <G-10> <G-11>) IMMERSION-PAINT))
  (LHS-FOR-EBS (AND (KNOWN <V146> (OR (~ (IS-OBJECT <G-10>)) (~ (HAVE-PAINT-FOR-IMMERSION <G-11>))))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR IMMERSION-PAINT)
   (AND (CURRENT-NODE <V146>) (CURRENT-GOAL <V146> (PAINTED <G-10> <G-11>))
        (CANDIDATE-OP <V146> IMMERSION-PAINT)
        (KNOWN <V146> (OR (~ (IS-OBJECT <G-10>)) (~ (HAVE-PAINT-FOR-IMMERSION <G-11>))))))
  (RULE-TYPE OP-REJECT))
 (|sr8|
  (LHS
   (AND (CURRENT-NODE <V179>) (CURRENT-GOAL <V179> (JOINED <G-7> <G-8> <G-9>)) (CURRENT-OP <V179> BOLT)
        (KNOWN <V179>
               (AND (IS-OBJECT <G-7>) (IS-OBJECT <G-8>) (CAN-BE-BOLTED <G-7> <G-8> <G-9>)
                    (OR (HAS-HOLE <G-7> <V87> <G-9>) (AND (IS-DRILLABLE <G-7> <G-9>) (HAVE-BIT <V87>))
                        (AND (IS-PUNCHABLE <G-7> <V87> <G-9>) (HAS-CLAMP PUNCH)
                             (TEMPERATURE <G-7> COLD)))
                    (OR (HAS-HOLE <G-8> <V87> <G-9>) (AND (IS-DRILLABLE <G-8> <G-9>) (HAVE-BIT <V87>))
                        (AND (IS-PUNCHABLE <G-8> <V87> <G-9>) (HAS-CLAMP PUNCH)
                             (TEMPERATURE <G-8> COLD)))
                    (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))))
  (RHS (SELECT BINDINGS (<G-7> <G-8> <V88> <V84> <V83> <V82> <G-9> <V87> <V86>))) (CUM-SAVINGS 30)
  (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0) (UNIQUE-SIG (BINDINGS-FAIL <V180>))
  (SIG-FOR-EBS
   (BINDINGS-SIG <V179> (JOINED <G-7> <G-8> <G-9>) BOLT
    (<G-7> <G-8> <V88> <V84> <V83> <V82> <G-9> <V87> <V86>)))
  (LHS-FOR-EBS
   (AND (KNOWN <V179>
               (AND (IS-OBJECT <G-7>) (IS-OBJECT <G-8>) (CAN-BE-BOLTED <G-7> <G-8> <G-9>)
                    (OR (HAS-HOLE <G-7> <V87> <G-9>) (AND (IS-DRILLABLE <G-7> <G-9>) (HAVE-BIT <V87>))
                        (AND (IS-PUNCHABLE <G-7> <V87> <G-9>) (HAS-CLAMP PUNCH)
                             (TEMPERATURE <G-7> COLD)))
                    (OR (HAS-HOLE <G-8> <V87> <G-9>) (AND (IS-DRILLABLE <G-8> <G-9>) (HAVE-BIT <V87>))
                        (AND (IS-PUNCHABLE <G-8> <V87> <G-9>) (HAS-CLAMP PUNCH)
                             (TEMPERATURE <G-8> COLD)))
                    (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((SELECT BINDINGS (<G-7> <G-8> <V88> <V84> <V83> <V82> <G-9> <V87> <V86>))
   (AND (CURRENT-NODE <V179>) (CURRENT-GOAL <V179> (JOINED <G-7> <G-8> <G-9>)) (CURRENT-OP <V179> BOLT)
        (KNOWN <V179>
               (AND (IS-OBJECT <G-7>) (IS-OBJECT <G-8>) (CAN-BE-BOLTED <G-7> <G-8> <G-9>)
                    (OR (HAS-HOLE <G-7> <V87> <G-9>) (AND (IS-DRILLABLE <G-7> <G-9>) (HAVE-BIT <V87>))
                        (AND (IS-PUNCHABLE <G-7> <V87> <G-9>) (HAS-CLAMP PUNCH)
                             (TEMPERATURE <G-7> COLD)))
                    (OR (HAS-HOLE <G-8> <V87> <G-9>) (AND (IS-DRILLABLE <G-8> <G-9>) (HAVE-BIT <V87>))
                        (AND (IS-PUNCHABLE <G-8> <V87> <G-9>) (HAS-CLAMP PUNCH)
                             (TEMPERATURE <G-8> COLD)))
                    (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))))
  (RULE-TYPE BINDINGS-SELECT))
 (|sr7|
  (LHS
   (AND (CURRENT-NODE <V181>) (CURRENT-GOAL <V181> (JOINED <G-7> <G-8> <G-9>)) (CURRENT-OP <V181> WELD)
        (KNOWN <V181>
               (AND (IS-OBJECT <G-7>) (IS-OBJECT <G-8>) (CAN-BE-WELDED <G-7> <G-8> <G-9>)
                    (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))))
  (RHS (SELECT BINDINGS (<G-7> <G-8> <V89> <V84> <V83> <V82> <G-9>))) (CUM-SAVINGS 30) (EST-SAVINGS 30)
  (PROBLEM NIL) (MATCH-TIME 0) (UNIQUE-SIG (BINDINGS-FAIL <V182>))
  (SIG-FOR-EBS
   (BINDINGS-SIG <V181> (JOINED <G-7> <G-8> <G-9>) WELD (<G-7> <G-8> <V89> <V84> <V83> <V82> <G-9>)))
  (LHS-FOR-EBS
   (AND (KNOWN <V181>
               (AND (IS-OBJECT <G-7>) (IS-OBJECT <G-8>) (CAN-BE-WELDED <G-7> <G-8> <G-9>)
                    (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((SELECT BINDINGS (<G-7> <G-8> <V89> <V84> <V83> <V82> <G-9>))
   (AND (CURRENT-NODE <V181>) (CURRENT-GOAL <V181> (JOINED <G-7> <G-8> <G-9>)) (CURRENT-OP <V181> WELD)
        (KNOWN <V181>
               (AND (IS-OBJECT <G-7>) (IS-OBJECT <G-8>) (CAN-BE-WELDED <G-7> <G-8> <G-9>)
                    (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))))
  (RULE-TYPE BINDINGS-SELECT))
 (|sr6|
  (LHS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-1> POLISHED))
        (KNOWN <NODE>
               (OR (~ (IS-OBJECT <G-1>))
                   (AND (OR (~ (HAS-CLAMP POLISHER)) (~ (TEMPERATURE <G-1> COLD)))
                        (~ (SHAPE <G-1> RECTANGULAR)))))))
  (RHS (REJECT NODE <NODE>)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (NODE-REJECT <V183>)) (SIG-FOR-EBS (NODE-SIG <NODE>))
  (LHS-FOR-EBS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-1> POLISHED))
        (KNOWN <NODE>
               (OR (~ (IS-OBJECT <G-1>))
                   (AND (OR (~ (HAS-CLAMP POLISHER)) (~ (TEMPERATURE <G-1> COLD)))
                        (~ (SHAPE <G-1> RECTANGULAR)))))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT NODE <NODE>)
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-1> POLISHED))
        (KNOWN <NODE>
               (OR (~ (IS-OBJECT <G-1>))
                   (AND (OR (~ (HAS-CLAMP POLISHER)) (~ (TEMPERATURE <G-1> COLD)))
                        (~ (SHAPE <G-1> RECTANGULAR)))))))
  (RULE-TYPE NODE-REJECT))
 (|sr5|
  (LHS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (SHAPE <G-2> CYLINDRICAL)) (KNOWN <NODE> (~ (IS-OBJECT <G-2>)))))
  (RHS (REJECT NODE <NODE>)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (NODE-REJECT <V184>)) (SIG-FOR-EBS (NODE-SIG <NODE>))
  (LHS-FOR-EBS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (SHAPE <G-2> CYLINDRICAL)) (KNOWN <NODE> (~ (IS-OBJECT <G-2>)))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT NODE <NODE>)
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (SHAPE <G-2> CYLINDRICAL)) (KNOWN <NODE> (~ (IS-OBJECT <G-2>)))))
  (RULE-TYPE NODE-REJECT))
 (|sr4|
  (LHS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-3> SMOOTH))
        (KNOWN <NODE> (~ (IS-OBJECT <G-3>)))))
  (RHS (REJECT NODE <NODE>)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (NODE-REJECT <V185>)) (SIG-FOR-EBS (NODE-SIG <NODE>))
  (LHS-FOR-EBS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-3> SMOOTH))
        (KNOWN <NODE> (~ (IS-OBJECT <G-3>)))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT NODE <NODE>)
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (SURFACE-CONDITION <G-3> SMOOTH))
        (KNOWN <NODE> (~ (IS-OBJECT <G-3>)))))
  (RULE-TYPE NODE-REJECT))
 (|sr3|
  (LHS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (HAS-HOLE <G-4> <G-5> <G-6>))
        (KNOWN <NODE>
               (AND (OR (~ (IS-OBJECT <G-4>)) (~ (IS-DRILLABLE <G-4> <G-6>)) (~ (HAVE-BIT <G-5>)))
                    (OR (~ (IS-OBJECT <G-4>)) (~ (IS-PUNCHABLE <G-4> <G-5> <G-6>)) (~ (HAS-CLAMP PUNCH))
                        (~ (TEMPERATURE <G-4> COLD)))))))
  (RHS (REJECT NODE <NODE>)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (NODE-REJECT <V186>)) (SIG-FOR-EBS (NODE-SIG <NODE>))
  (LHS-FOR-EBS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (HAS-HOLE <G-4> <G-5> <G-6>))
        (KNOWN <NODE>
               (AND (OR (~ (IS-OBJECT <G-4>)) (~ (IS-DRILLABLE <G-4> <G-6>)) (~ (HAVE-BIT <G-5>)))
                    (OR (~ (IS-OBJECT <G-4>)) (~ (IS-PUNCHABLE <G-4> <G-5> <G-6>)) (~ (HAS-CLAMP PUNCH))
                        (~ (TEMPERATURE <G-4> COLD)))))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT NODE <NODE>)
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (HAS-HOLE <G-4> <G-5> <G-6>))
        (KNOWN <NODE>
               (AND (OR (~ (IS-OBJECT <G-4>)) (~ (IS-DRILLABLE <G-4> <G-6>)) (~ (HAVE-BIT <G-5>)))
                    (OR (~ (IS-OBJECT <G-4>)) (~ (IS-PUNCHABLE <G-4> <G-5> <G-6>)) (~ (HAS-CLAMP PUNCH))
                        (~ (TEMPERATURE <G-4> COLD)))))))
  (RULE-TYPE NODE-REJECT))
 (|sr2|
  (LHS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (JOINED <G-7> <G-8> <G-9>))
        (KNOWN <NODE>
               (AND (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>))
                        (~ (CAN-BE-WELDED <G-7> <G-8> <G-9>))
                        (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))
                    (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>))
                        (~ (CAN-BE-BOLTED <G-7> <G-8> <G-9>))
                        (AND (~ (HAS-HOLE <G-7> <V87> <G-9>))
                             (OR (~ (IS-DRILLABLE <G-7> <G-9>)) (~ (HAVE-BIT <V87>)))
                             (OR (~ (IS-PUNCHABLE <G-7> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                                 (~ (TEMPERATURE <G-7> COLD))))
                        (AND (~ (HAS-HOLE <G-8> <V87> <G-9>))
                             (OR (~ (IS-DRILLABLE <G-8> <G-9>)) (~ (HAVE-BIT <V87>)))
                             (OR (~ (IS-PUNCHABLE <G-8> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                                 (~ (TEMPERATURE <G-8> COLD))))
                        (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))))))
  (RHS (REJECT NODE <NODE>)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (NODE-REJECT <V187>)) (SIG-FOR-EBS (NODE-SIG <NODE>))
  (LHS-FOR-EBS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (JOINED <G-7> <G-8> <G-9>))
        (KNOWN <NODE>
               (AND (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>))
                        (~ (CAN-BE-WELDED <G-7> <G-8> <G-9>))
                        (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))
                    (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>))
                        (~ (CAN-BE-BOLTED <G-7> <G-8> <G-9>))
                        (AND (~ (HAS-HOLE <G-7> <V87> <G-9>))
                             (OR (~ (IS-DRILLABLE <G-7> <G-9>)) (~ (HAVE-BIT <V87>)))
                             (OR (~ (IS-PUNCHABLE <G-7> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                                 (~ (TEMPERATURE <G-7> COLD))))
                        (AND (~ (HAS-HOLE <G-8> <V87> <G-9>))
                             (OR (~ (IS-DRILLABLE <G-8> <G-9>)) (~ (HAVE-BIT <V87>)))
                             (OR (~ (IS-PUNCHABLE <G-8> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                                 (~ (TEMPERATURE <G-8> COLD))))
                        (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT NODE <NODE>)
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (JOINED <G-7> <G-8> <G-9>))
        (KNOWN <NODE>
               (AND (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>))
                        (~ (CAN-BE-WELDED <G-7> <G-8> <G-9>))
                        (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))
                    (OR (~ (IS-OBJECT <G-7>)) (~ (IS-OBJECT <G-8>))
                        (~ (CAN-BE-BOLTED <G-7> <G-8> <G-9>))
                        (AND (~ (HAS-HOLE <G-7> <V87> <G-9>))
                             (OR (~ (IS-DRILLABLE <G-7> <G-9>)) (~ (HAVE-BIT <V87>)))
                             (OR (~ (IS-PUNCHABLE <G-7> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                                 (~ (TEMPERATURE <G-7> COLD))))
                        (AND (~ (HAS-HOLE <G-8> <V87> <G-9>))
                             (OR (~ (IS-DRILLABLE <G-8> <G-9>)) (~ (HAVE-BIT <V87>)))
                             (OR (~ (IS-PUNCHABLE <G-8> <V87> <G-9>)) (~ (HAS-CLAMP PUNCH))
                                 (~ (TEMPERATURE <G-8> COLD))))
                        (~ (COMPOSITE-OBJECT <V84> <G-9> <G-7> <G-8>)))))))
  (RULE-TYPE NODE-REJECT))
 (|sr1|
  (LHS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (PAINTED <G-10> <G-11>))
        (KNOWN <NODE>
               (AND (OR (~ (IS-OBJECT <G-10>)) (~ (HAVE-PAINT-FOR-IMMERSION <G-11>)))
                    (OR (~ (SPRAYABLE <G-11>)) (~ (IS-OBJECT <G-10>)) (~ (HAS-CLAMP SPRAY-PAINTER))
                        (~ (TEMPERATURE <G-10> COLD)))))))
  (RHS (REJECT NODE <NODE>)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (NODE-REJECT <V188>)) (SIG-FOR-EBS (NODE-SIG <NODE>))
  (LHS-FOR-EBS
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (PAINTED <G-10> <G-11>))
        (KNOWN <NODE>
               (AND (OR (~ (IS-OBJECT <G-10>)) (~ (HAVE-PAINT-FOR-IMMERSION <G-11>)))
                    (OR (~ (SPRAYABLE <G-11>)) (~ (IS-OBJECT <G-10>)) (~ (HAS-CLAMP SPRAY-PAINTER))
                        (~ (TEMPERATURE <G-10> COLD)))))))
  (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT NODE <NODE>)
   (AND (CURRENT-NODE <NODE>) (IS-TOP-LEVEL-NODE <NODE>)
        (IS-TOP-LEVEL-GOAL <NODE> (PAINTED <G-10> <G-11>))
        (KNOWN <NODE>
               (AND (OR (~ (IS-OBJECT <G-10>)) (~ (HAVE-PAINT-FOR-IMMERSION <G-11>)))
                    (OR (~ (SPRAYABLE <G-11>)) (~ (IS-OBJECT <G-10>)) (~ (HAS-CLAMP SPRAY-PAINTER))
                        (~ (TEMPERATURE <G-10> COLD)))))))
  (RULE-TYPE NODE-REJECT)))))