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





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

((~ (CLEAR <V51>)) (AND (OBJECT <V51>) (NOT-EQUAL <V51> <G-4>)) NIL)
((CLEAR <G-4>) (OBJECT <G-4>) NIL)


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

((CLEAR <G-2>) T NIL)
((ON <G-2> <G-3>) T NIL)
((~ (CLEAR <G-3>)) (OBJECT <G-3>) NIL)
((~ (HOLDING <G-2>)) T NIL)
((CLEAR <V31>)
 (AND (~ (HOLDING <G-2>)) (OBJECT <V31>)
      (OR (NOT-EQUAL <V31> <G-3>)
          (AND (~ (OBJECT <G-3>)) (IS-EQUAL <V31> <G-3>))))
 NIL)
((~ (ON <G-2> <V31>)) (AND (~ (HOLDING <G-2>)) (NOT-EQUAL <V31> <G-3>)) NIL)
((~ (CLEAR <V33>))
 (AND (~ (HOLDING <G-2>)) (~ (CLEAR <G-2>)) (OBJECT <V33>)
      (OR (NOT-EQUAL <V33> <V31>)
          (AND (~ (OBJECT <V31>)) (IS-EQUAL <V33> <V31>)))
      (NOT-EQUAL <V33> <G-2>))
 NIL)
((CLEAR <V30>)
 (AND (~ (HOLDING <G-2>)) (HOLDING <V30>) (NOT-EQUAL <V30> <G-2>)
      (NOT-EQUAL <V30> <G-3>))
 ((OBJECT <V30>)))
((ON <V30> <V36>) (AND (~ (HOLDING <G-2>)) (HOLDING <V30>)) ((OBJECT <V30>)))
((~ (CLEAR <V36>))
 (AND (~ (HOLDING <G-2>)) (HOLDING <V30>) (OBJECT <V36>)
      (NOT-EQUAL <V36> <V30>)
      (OR (NOT-EQUAL <V36> <V31>)
          (AND (~ (OBJECT <V31>)) (IS-EQUAL <V36> <V31>)))
      (NOT-EQUAL <V36> <G-2>))
 ((OBJECT <V30>)))
((~ (HOLDING <V30>))
 (AND (~ (HOLDING <G-2>)) (HOLDING <V30>) (NOT-EQUAL <V30> <G-2>))
 ((OBJECT <V30>)))


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

((CLEAR <V9>) (OBJECT <V9>) NIL)
((HOLDING <G-1>) T NIL)
((~ (CLEAR <G-1>))
 (OR (NOT-EQUAL <G-1> <V9>) (AND (~ (OBJECT <V9>)) (IS-EQUAL <G-1> <V9>))) NIL)
((~ (ON <G-1> <V9>)) T NIL)
((~ (CLEAR <V11>))
 (AND (~ (CLEAR <G-1>)) (OBJECT <V11>) (NOT-EQUAL <V11> <G-1>)
      (OR (NOT-EQUAL <V11> <V9>) (AND (~ (OBJECT <V9>)) (IS-EQUAL <V11> <V9>))))
 NIL)
((CLEAR <V8>) (AND (HOLDING <V8>) (NOT-EQUAL <V8> <G-1>)) ((OBJECT <V8>)))
((ON <V8> <V14>) (HOLDING <V8>) ((OBJECT <V8>)))
((~ (CLEAR <V14>))
 (AND (HOLDING <V8>) (OBJECT <V14>) (NOT-EQUAL <V14> <V8>)
      (OR (NOT-EQUAL <V14> <V9>) (AND (~ (OBJECT <V9>)) (IS-EQUAL <V14> <V9>))))
 ((OBJECT <V8>)))
((~ (HOLDING <V8>)) (AND (HOLDING <V8>) (NOT-EQUAL <V8> <G-1>)) ((OBJECT <V8>)))