dribbling to file "/projects/null/ai/static/rob/ne/extended-strips"
 
NE for domain: "extended-strips"





------------------------------------------------
NE for PSG (UNLOCKED G-10)

((UNLOCKED <G-10>) T NIL)
((~ (LOCKED <G-10>)) T NIL)
((NEXT-TO ROBOT <G-10>) T NIL)
((~ (ARM-EMPTY)) (~ (HOLDING <V82>)) ((IS-KEY <G-10> <V82>)))
((~ (NEXT-TO <V82> <W147>)) (AND (~ (INROOM <V82> <V81>)) (~ (HOLDING <V82>)))
 ((CARRIABLE <V82>) (IS-OBJECT <V82>) (IS-KEY <G-10> <V82>) (DR-TO-RM <G-10> <V81>)))
((~ (NEXT-TO <W146> <V82>)) (AND (~ (INROOM <V82> <V81>)) (~ (HOLDING <V82>)))
 ((CARRIABLE <V82>) (IS-OBJECT <V82>) (IS-KEY <G-10> <V82>) (DR-TO-RM <G-10> <V81>)))
((HOLDING <V82>) (~ (HOLDING <V82>)) ((IS-KEY <G-10> <V82>) (CARRIABLE <V82>)))
((UNLOCKED <V86>) (AND (~ (INROOM <V82> <V81>)) (~ (DR-OPEN <V86>)))
 ((IS-ROOM <V81>) (DR-TO-RM <V86> <V81>) (IS-DOOR <V86>) (CONNECTS <V86> <V81> <V85>)
  (IS-KEY <G-10> <V82>) (DR-TO-RM <G-10> <V81>)))
((~ (DR-CLOSED <V86>)) (AND (~ (INROOM <V82> <V81>)) (~ (DR-OPEN <V86>)))
 ((IS-ROOM <V81>) (DR-TO-RM <V86> <V81>) (IS-DOOR <V86>) (CONNECTS <V86> <V81> <V85>)
  (IS-KEY <G-10> <V82>) (DR-TO-RM <G-10> <V81>)))
((DR-OPEN <V86>) (AND (~ (INROOM <V82> <V81>)) (~ (DR-OPEN <V86>)))
 ((IS-ROOM <V81>) (DR-TO-RM <V86> <V81>) (IS-DOOR <V86>) (CONNECTS <V86> <V81> <V85>)
  (IS-KEY <G-10> <V82>) (DR-TO-RM <G-10> <V81>)))
((~ (NEXT-TO ROBOT <W143>)) (~ (INROOM <V82> <V81>)) ((IS-KEY <G-10> <V82>) (DR-TO-RM <G-10> <V81>)))
((~ (INROOM ROBOT <W142>)) (AND (~ (INROOM <V82> <V81>)) (NOT-EQUAL <W142> <V81>))
 ((IS-ROOM <V81>) (DR-TO-RM <V86> <V81>) (CONNECTS <V86> <V81> <V85>) (IS-KEY <G-10> <V82>)
  (DR-TO-RM <G-10> <V81>)))
((~ (INROOM <V82> <W141>)) (AND (~ (INROOM <V82> <V81>)) (NOT-EQUAL <W141> <V81>))
 ((IS-ROOM <V81>) (DR-TO-RM <V86> <V81>) (IS-OBJECT <V82>) (CONNECTS <V86> <V81> <V85>)
  (IS-KEY <G-10> <V82>) (DR-TO-RM <G-10> <V81>)))
((INROOM ROBOT <V81>) T ((DR-TO-RM <G-10> <V81>)))
((INROOM <V82> <V81>) (~ (INROOM <V82> <V81>))
 ((IS-ROOM <V81>) (DR-TO-RM <V86> <V81>) (IS-DOOR <V86>) (IS-OBJECT <V82>) (CONNECTS <V86> <V81> <V85>)
  (IS-KEY <G-10> <V82>) (DR-TO-RM <G-10> <V81>)))
((~ (NEXT-TO <V82> <W137>)) (~ (HOLDING <V82>)) ((CARRIABLE <V82>) (IS-KEY <G-10> <V82>)))
((~ (NEXT-TO <W136> <V82>)) (~ (HOLDING <V82>)) ((CARRIABLE <V82>) (IS-KEY <G-10> <V82>)))


------------------------------------------------
NE for PSG (LOCKED G-9)

((LOCKED <G-9>) T NIL)
((~ (UNLOCKED <G-9>)) T NIL)
((NEXT-TO ROBOT <G-9>) T NIL)
((~ (DR-OPEN <G-9>)) (~ (DR-CLOSED <G-9>)) NIL)
((DR-CLOSED <G-9>) (~ (DR-CLOSED <G-9>)) NIL)
((~ (ARM-EMPTY))
 (OR (AND (~ (INROOM <V70> <V69>)) (~ (DR-OPEN <V74>)) (~ (UNLOCKED <V74>)) (~ (HOLDING <V78>)))
     (~ (HOLDING <V70>)))
 ((IS-KEY <G-9> <V70>)))
((~ (NEXT-TO <V70> <W129>)) (AND (~ (INROOM <V70> <V69>)) (~ (HOLDING <V70>)))
 ((CARRIABLE <V70>) (IS-OBJECT <V70>) (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((~ (NEXT-TO <W128> <V70>)) (AND (~ (INROOM <V70> <V69>)) (~ (HOLDING <V70>)))
 ((CARRIABLE <V70>) (IS-OBJECT <V70>) (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((HOLDING <V70>) (~ (HOLDING <V70>)) ((IS-KEY <G-9> <V70>) (CARRIABLE <V70>)))
((HOLDING <V78>)
 (AND (~ (INROOM <V70> <V69>)) (~ (DR-OPEN <V74>)) (~ (UNLOCKED <V74>)) (~ (HOLDING <V78>)))
 ((CARRIABLE <V78>) (IS-KEY <V74> <V78>) (DR-TO-RM <V74> <V77>) (IS-ROOM <V69>) (DR-TO-RM <V74> <V69>)
  (IS-DOOR <V74>) (CONNECTS <V74> <V69> <V73>) (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((~ (NEXT-TO <W132> <V78>))
 (AND (~ (INROOM <V70> <V69>)) (~ (DR-OPEN <V74>)) (~ (UNLOCKED <V74>)) (~ (HOLDING <V78>)))
 ((CARRIABLE <V78>) (IS-KEY <V74> <V78>) (DR-TO-RM <V74> <V77>) (IS-ROOM <V69>) (DR-TO-RM <V74> <V69>)
  (IS-DOOR <V74>) (CONNECTS <V74> <V69> <V73>) (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((~ (NEXT-TO <V78> <W133>))
 (AND (~ (INROOM <V70> <V69>)) (~ (DR-OPEN <V74>)) (~ (UNLOCKED <V74>)) (~ (HOLDING <V78>)))
 ((CARRIABLE <V78>) (IS-KEY <V74> <V78>) (DR-TO-RM <V74> <V77>) (IS-ROOM <V69>) (DR-TO-RM <V74> <V69>)
  (IS-DOOR <V74>) (CONNECTS <V74> <V69> <V73>) (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((INROOM <V78> <V77>)
 (AND (~ (INROOM <V70> <V69>)) (~ (DR-OPEN <V74>)) (~ (UNLOCKED <V74>)) (NOT-EQUAL <V78> ROBOT)
      (NOT-EQUAL <V78> <V70>))
 ((IS-KEY <V74> <V78>) (DR-TO-RM <V74> <V77>) (IS-ROOM <V69>) (DR-TO-RM <V74> <V69>) (IS-DOOR <V74>)
  (IS-OBJECT <V70>) (CONNECTS <V74> <V69> <V73>) (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((~ (LOCKED <V74>))
 (AND (~ (INROOM <V70> <V69>)) (~ (DR-OPEN <V74>)) (~ (UNLOCKED <V74>)) (NOT-EQUAL <V74> <G-9>))
 ((IS-KEY <V74> <V78>) (DR-TO-RM <V74> <V77>) (IS-ROOM <V69>) (DR-TO-RM <V74> <V69>) (IS-DOOR <V74>)
  (CONNECTS <V74> <V69> <V73>) (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((UNLOCKED <V74>)
 (AND (~ (INROOM <V70> <V69>)) (~ (DR-OPEN <V74>)) (~ (UNLOCKED <V74>)) (NOT-EQUAL <V74> <G-9>))
 ((IS-KEY <V74> <V78>) (DR-TO-RM <V74> <V77>) (IS-ROOM <V69>) (DR-TO-RM <V74> <V69>) (IS-DOOR <V74>)
  (CONNECTS <V74> <V69> <V73>) (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((~ (DR-CLOSED <V74>)) (AND (~ (INROOM <V70> <V69>)) (~ (DR-OPEN <V74>)))
 ((IS-ROOM <V69>) (DR-TO-RM <V74> <V69>) (IS-DOOR <V74>) (CONNECTS <V74> <V69> <V73>)
  (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((DR-OPEN <V74>) (AND (~ (INROOM <V70> <V69>)) (~ (DR-OPEN <V74>)))
 ((IS-ROOM <V69>) (DR-TO-RM <V74> <V69>) (IS-DOOR <V74>) (CONNECTS <V74> <V69> <V73>)
  (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((~ (NEXT-TO ROBOT <W125>)) (~ (INROOM <V70> <V69>)) ((IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((~ (INROOM ROBOT <W124>)) (AND (~ (INROOM <V70> <V69>)) (NOT-EQUAL <W124> <V69>))
 ((IS-ROOM <V69>) (DR-TO-RM <V74> <V69>) (CONNECTS <V74> <V69> <V73>) (IS-KEY <G-9> <V70>)
  (DR-TO-RM <G-9> <V69>)))
((~ (INROOM <V70> <W123>)) (AND (~ (INROOM <V70> <V69>)) (NOT-EQUAL <W123> <V69>))
 ((IS-ROOM <V69>) (DR-TO-RM <V74> <V69>) (IS-OBJECT <V70>) (CONNECTS <V74> <V69> <V73>)
  (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((INROOM ROBOT <V69>) (~ (INROOM <V70> <V69>))
 ((IS-ROOM <V69>) (DR-TO-RM <V74> <V69>) (IS-DOOR <V74>) (CONNECTS <V74> <V69> <V73>)
  (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((INROOM <V70> <V69>) (~ (INROOM <V70> <V69>))
 ((IS-ROOM <V69>) (DR-TO-RM <V74> <V69>) (IS-DOOR <V74>) (IS-OBJECT <V70>) (CONNECTS <V74> <V69> <V73>)
  (IS-KEY <G-9> <V70>) (DR-TO-RM <G-9> <V69>)))
((~ (NEXT-TO <V70> <W119>)) (~ (HOLDING <V70>)) ((CARRIABLE <V70>) (IS-KEY <G-9> <V70>)))
((~ (NEXT-TO <W118> <V70>)) (~ (HOLDING <V70>)) ((CARRIABLE <V70>) (IS-KEY <G-9> <V70>)))


------------------------------------------------
NE for PSG (DR-CLOSED G-8)

((DR-CLOSED <G-8>) T NIL)
((~ (DR-OPEN <G-8>)) T NIL)
((NEXT-TO ROBOT <G-8>) T NIL)


------------------------------------------------
NE for PSG (DR-OPEN G-7)

((DR-OPEN <G-7>) T NIL)
((~ (DR-CLOSED <G-7>)) T NIL)
((NEXT-TO ROBOT <G-7>) T NIL)
((UNLOCKED <G-7>) (~ (UNLOCKED <G-7>)) NIL)
((~ (LOCKED <G-7>)) (~ (UNLOCKED <G-7>)) NIL)
((~ (ARM-EMPTY))
 (OR (AND (~ (UNLOCKED <G-7>)) (~ (INROOM <V62> <V61>)) (~ (HOLDING <V62>)))
     (AND (~ (UNLOCKED <G-7>)) (~ (HOLDING <V62>))))
 ((IS-KEY <G-7> <V62>)))
((~ (NEXT-TO <V62> <W115>)) (AND (~ (UNLOCKED <G-7>)) (~ (INROOM <V62> <V61>)) (~ (HOLDING <V62>)))
 ((CARRIABLE <V62>) (IS-OBJECT <V62>) (IS-KEY <G-7> <V62>) (DR-TO-RM <G-7> <V61>)))
((~ (NEXT-TO <W114> <V62>)) (AND (~ (UNLOCKED <G-7>)) (~ (INROOM <V62> <V61>)) (~ (HOLDING <V62>)))
 ((CARRIABLE <V62>) (IS-OBJECT <V62>) (IS-KEY <G-7> <V62>) (DR-TO-RM <G-7> <V61>)))
((HOLDING <V62>)
 (OR (AND (~ (UNLOCKED <G-7>)) (~ (INROOM <V62> <V61>)) (~ (HOLDING <V62>)))
     (AND (~ (UNLOCKED <G-7>)) (~ (HOLDING <V62>))))
 ((IS-KEY <G-7> <V62>) (CARRIABLE <V62>)))
((DR-OPEN <V66>) (AND (~ (UNLOCKED <G-7>)) (~ (INROOM <V62> <V61>)))
 ((IS-ROOM <V61>) (DR-TO-RM <V66> <V61>) (IS-DOOR <V66>) (CONNECTS <V66> <V61> <V65>)
  (IS-KEY <G-7> <V62>) (DR-TO-RM <G-7> <V61>)))
((~ (NEXT-TO ROBOT <W111>)) (AND (~ (UNLOCKED <G-7>)) (~ (INROOM <V62> <V61>)))
 ((IS-KEY <G-7> <V62>) (DR-TO-RM <G-7> <V61>)))
((~ (INROOM ROBOT <W110>)) (AND (~ (UNLOCKED <G-7>)) (~ (INROOM <V62> <V61>)) (NOT-EQUAL <W110> <V61>))
 ((IS-ROOM <V61>) (DR-TO-RM <V66> <V61>) (CONNECTS <V66> <V61> <V65>) (IS-KEY <G-7> <V62>)
  (DR-TO-RM <G-7> <V61>)))
((~ (INROOM <V62> <W109>)) (AND (~ (UNLOCKED <G-7>)) (~ (INROOM <V62> <V61>)) (NOT-EQUAL <W109> <V61>))
 ((IS-ROOM <V61>) (DR-TO-RM <V66> <V61>) (IS-OBJECT <V62>) (CONNECTS <V66> <V61> <V65>)
  (IS-KEY <G-7> <V62>) (DR-TO-RM <G-7> <V61>)))
((INROOM ROBOT <V61>) (~ (UNLOCKED <G-7>)) ((DR-TO-RM <G-7> <V61>)))
((INROOM <V62> <V61>) (AND (~ (UNLOCKED <G-7>)) (~ (INROOM <V62> <V61>)))
 ((IS-ROOM <V61>) (DR-TO-RM <V66> <V61>) (IS-DOOR <V66>) (IS-OBJECT <V62>) (CONNECTS <V66> <V61> <V65>)
  (IS-KEY <G-7> <V62>) (DR-TO-RM <G-7> <V61>)))
((~ (NEXT-TO <V62> <W105>)) (AND (~ (UNLOCKED <G-7>)) (~ (HOLDING <V62>)))
 ((CARRIABLE <V62>) (IS-KEY <G-7> <V62>)))
((~ (NEXT-TO <W104> <V62>)) (AND (~ (UNLOCKED <G-7>)) (~ (HOLDING <V62>)))
 ((CARRIABLE <V62>) (IS-KEY <G-7> <V62>)))


------------------------------------------------
NE for PSG (NEXT-TO ROBOT G-6)

((NEXT-TO ROBOT <G-6>) T NIL)


------------------------------------------------
NE for PSG (NEXT-TO G-4 G-5)

((NEXT-TO <G-4> <G-5>) (NOT-EQUAL <G-4> ROBOT) NIL)
((NEXT-TO ROBOT <G-4>) (NOT-EQUAL <G-4> ROBOT) NIL)
((INROOM <G-4> <V49>) (NOT-EQUAL <G-4> ROBOT) NIL)


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

((~ (NEXT-TO <G-2> <W43>)) (AND (NOT-EQUAL <G-2> ROBOT) (~ (HOLDING <G-2>))) NIL)
((~ (NEXT-TO <W42> <G-2>)) (AND (NOT-EQUAL <G-2> ROBOT) (~ (HOLDING <G-2>)) (NOT-EQUAL <W42> ROBOT)) NIL)
((DR-OPEN <V48>) (NOT-EQUAL <G-2> ROBOT)
 ((CONNECTS <V48> <G-3> <V47>) (IS-DOOR <V48>) (DR-TO-RM <V48> <G-3>)))
((~ (NEXT-TO ROBOT <W44>)) (AND (NOT-EQUAL <G-2> ROBOT) (NOT-EQUAL <W44> <G-2>)) NIL)
((~ (INROOM ROBOT <W41>)) (AND (NOT-EQUAL <G-2> ROBOT) (NOT-EQUAL <W41> <G-3>)) NIL)
((~ (INROOM <G-2> <W40>)) (AND (NOT-EQUAL <G-2> ROBOT) (NOT-EQUAL <W40> <G-3>)) NIL)
((INROOM ROBOT <G-3>) (NOT-EQUAL <G-2> ROBOT) NIL)
((INROOM <G-2> <G-3>) (NOT-EQUAL <G-2> ROBOT) NIL)


------------------------------------------------
NE for PSG (INROOM ROBOT G-1)

((INROOM ROBOT <G-1>) T NIL)
((~ (INROOM ROBOT <W27>)) (NOT-EQUAL <W27> <G-1>) NIL)
((~ (NEXT-TO ROBOT <W28>)) T NIL)
((HOLDING <V46>) (AND (~ (DR-OPEN <V40>)) (~ (UNLOCKED <V40>)) (~ (HOLDING <V46>)))
 ((CARRIABLE <V46>) (IS-KEY <V40> <V46>) (DR-TO-RM <V40> <V45>) (DR-TO-RM <V40> <G-1>) (IS-DOOR <V40>)
  (CONNECTS <V40> <G-1> <V39>)))
((~ (NEXT-TO <W33> <V46>)) (AND (~ (DR-OPEN <V40>)) (~ (UNLOCKED <V40>)) (~ (HOLDING <V46>)))
 ((CARRIABLE <V46>) (IS-KEY <V40> <V46>) (DR-TO-RM <V40> <V45>) (DR-TO-RM <V40> <G-1>) (IS-DOOR <V40>)
  (CONNECTS <V40> <G-1> <V39>)))
((~ (NEXT-TO <V46> <W34>)) (AND (~ (DR-OPEN <V40>)) (~ (UNLOCKED <V40>)) (~ (HOLDING <V46>)))
 ((CARRIABLE <V46>) (IS-KEY <V40> <V46>) (DR-TO-RM <V40> <V45>) (DR-TO-RM <V40> <G-1>) (IS-DOOR <V40>)
  (CONNECTS <V40> <G-1> <V39>)))
((~ (ARM-EMPTY)) (AND (~ (DR-OPEN <V40>)) (~ (UNLOCKED <V40>)) (~ (HOLDING <V46>)))
 ((IS-KEY <V40> <V46>) (DR-TO-RM <V40> <V45>) (DR-TO-RM <V40> <G-1>) (IS-DOOR <V40>)
  (CONNECTS <V40> <G-1> <V39>)))
((INROOM <V46> <V45>) (AND (~ (DR-OPEN <V40>)) (~ (UNLOCKED <V40>)) (NOT-EQUAL <V46> ROBOT))
 ((IS-KEY <V40> <V46>) (DR-TO-RM <V40> <V45>) (DR-TO-RM <V40> <G-1>) (IS-DOOR <V40>)
  (CONNECTS <V40> <G-1> <V39>)))
((~ (LOCKED <V40>)) (AND (~ (DR-OPEN <V40>)) (~ (UNLOCKED <V40>)))
 ((IS-KEY <V40> <V46>) (DR-TO-RM <V40> <V45>) (DR-TO-RM <V40> <G-1>) (IS-DOOR <V40>)
  (CONNECTS <V40> <G-1> <V39>)))
((UNLOCKED <V40>) (AND (~ (DR-OPEN <V40>)) (~ (UNLOCKED <V40>)))
 ((IS-KEY <V40> <V46>) (DR-TO-RM <V40> <V45>) (DR-TO-RM <V40> <G-1>) (IS-DOOR <V40>)
  (CONNECTS <V40> <G-1> <V39>)))
((~ (DR-CLOSED <V40>)) (~ (DR-OPEN <V40>))
 ((DR-TO-RM <V40> <G-1>) (IS-DOOR <V40>) (CONNECTS <V40> <G-1> <V39>)))
((DR-OPEN <V40>) (~ (DR-OPEN <V40>))
 ((DR-TO-RM <V40> <G-1>) (IS-DOOR <V40>) (CONNECTS <V40> <G-1> <V39>)))
((~ (HOLDING <W30>)) (~ (ARM-EMPTY)) NIL)
((ARM-EMPTY) (~ (ARM-EMPTY)) NIL)


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

((ARM-EMPTY) T NIL)
((NEXT-TO ROBOT <V36>) T NIL)
((~ (HOLDING <W24>)) T NIL)