
dribbling to file "/a/chilliwack/chilli1/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)
((INROOM <V81> <V80>) T ((IS-KEY <G-10> <V81>) (DR-TO-RM <G-10> <V80>)))
((~ (ARM-EMPTY)) (~ (HOLDING <V81>)) ((IS-KEY <G-10> <V81>)))
((~ (NEXT-TO <V81> <W130>)) (~ (HOLDING <V81>))
 ((CARRIABLE <V81>) (IS-KEY <G-10> <V81>)))
((~ (NEXT-TO <W129> <V81>)) (~ (HOLDING <V81>))
 ((CARRIABLE <V81>) (IS-KEY <G-10> <V81>)))
((HOLDING <V81>) (~ (HOLDING <V81>)) ((CARRIABLE <V81>) (IS-KEY <G-10> <V81>)))
((INROOM ROBOT <V80>) T ((DR-TO-RM <G-10> <V80>)))


------------------------------------------------
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)
((INROOM <V77> <V76>) T ((IS-KEY <G-9> <V77>) (DR-TO-RM <G-9> <V76>)))
((~ (ARM-EMPTY)) (~ (HOLDING <V77>)) ((IS-KEY <G-9> <V77>)))
((~ (NEXT-TO <V77> <W126>)) (~ (HOLDING <V77>))
 ((CARRIABLE <V77>) (IS-KEY <G-9> <V77>)))
((~ (NEXT-TO <W125> <V77>)) (~ (HOLDING <V77>))
 ((CARRIABLE <V77>) (IS-KEY <G-9> <V77>)))
((HOLDING <V77>) (~ (HOLDING <V77>)) ((CARRIABLE <V77>) (IS-KEY <G-9> <V77>)))


------------------------------------------------
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)
((INROOM <V73> <V72>) (~ (UNLOCKED <G-7>))
 ((IS-KEY <G-7> <V73>) (DR-TO-RM <G-7> <V72>)))
((~ (ARM-EMPTY)) (AND (~ (UNLOCKED <G-7>)) (~ (HOLDING <V73>)))
 ((IS-KEY <G-7> <V73>)))
((~ (NEXT-TO <V73> <W122>)) (AND (~ (UNLOCKED <G-7>)) (~ (HOLDING <V73>)))
 ((CARRIABLE <V73>) (IS-KEY <G-7> <V73>)))
((~ (NEXT-TO <W121> <V73>)) (AND (~ (UNLOCKED <G-7>)) (~ (HOLDING <V73>)))
 ((CARRIABLE <V73>) (IS-KEY <G-7> <V73>)))
((HOLDING <V73>) (AND (~ (UNLOCKED <G-7>)) (~ (HOLDING <V73>)))
 ((CARRIABLE <V73>) (IS-KEY <G-7> <V73>)))
((INROOM ROBOT <V72>) (~ (UNLOCKED <G-7>)) ((DR-TO-RM <G-7> <V72>)))


------------------------------------------------
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>) T NIL)
((NEXT-TO ROBOT <G-4>) T NIL)
((INROOM <G-4> <V54>) T NIL)


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

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