
dribbling to file "/a/chilliwack/chilli1/ai/static/rob/ne/blocksworld"
 
NE for domain: "blocksworld"





------------------------------------------------
NE for PSG (CLEAR G-5)

((CLEAR <G-5>) T NIL)


------------------------------------------------
NE for PSG (HOLDING G-4)

((CLEAR <V29>) (AND (~ (ARM-EMPTY)) (NOT-EQUAL <V29> <G-4>)) ((OBJECT <V29>)))
((~ (HOLDING <V29>)) (AND (~ (ARM-EMPTY)) (NOT-EQUAL <V29> <G-4>))
 ((OBJECT <V29>)))
((~ (CLEAR <G-4>)) T NIL)
((~ (ARM-EMPTY)) T NIL)
((HOLDING <G-4>) T NIL)


------------------------------------------------
NE for PSG (ON G-2 G-3)

((ON <G-2> <G-3>) T NIL)
((CLEAR <G-2>) T NIL)
((ARM-EMPTY) T NIL)
((~ (CLEAR <G-3>)) T NIL)
((~ (HOLDING <G-2>)) T NIL)
((CLEAR <V19>)
 (AND (~ (HOLDING <G-2>)) (~ (ARM-EMPTY)) (NOT-EQUAL <V19> <G-2>)
      (NOT-EQUAL <V19> <G-3>))
 ((OBJECT <V19>)))
((~ (HOLDING <V19>))
 (AND (~ (HOLDING <G-2>)) (~ (ARM-EMPTY)) (NOT-EQUAL <V19> <G-2>))
 ((OBJECT <V19>)))


------------------------------------------------
NE for PSG (ARM-EMPTY)

((~ (HOLDING <V12>)) T ((OBJECT <V12>)))
((ARM-EMPTY) T NIL)
((CLEAR <V12>) T ((OBJECT <V12>)))


------------------------------------------------
NE for PSG (ON-TABLE G-1)

((ON-TABLE <G-1>) T NIL)
((ARM-EMPTY) T NIL)
((CLEAR <G-1>) T NIL)
((~ (HOLDING <G-1>)) T NIL)
((CLEAR <V10>)
 (AND (~ (HOLDING <G-1>)) (~ (ARM-EMPTY)) (NOT-EQUAL <V10> <G-1>))
 ((OBJECT <V10>)))
((~ (HOLDING <V10>))
 (AND (~ (HOLDING <G-1>)) (~ (ARM-EMPTY)) (NOT-EQUAL <V10> <G-1>))
 ((OBJECT <V10>)))