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





------------------------------------------------
NE for PSG (SCHEDULED G-30 IMMERSION-PAINTER G-31)

((SCHEDULED <G-30> IMMERSION-PAINTER <G-31>) T NIL)
((LAST-SCHEDULED <G-30> <G-31>) T NIL)
((PAINTED <G-30> <V146>) T ((HAVE-PAINT-FOR-IMMERSION <V146>)))
((~ (LAST-SCHEDULED <G-30> <V145>)) (NOT-EQUAL <V145> <G-31>)
 ((LATER <G-31> <V145>)))
((IS-OBJECT <G-30>) T NIL)


------------------------------------------------
NE for PSG (PAINTED G-28 G-29)

((IS-OBJECT <G-28>) T NIL)
((~ (LAST-SCHEDULED <G-28> <V140>)) T ((LATER <V141> <V140>)))
((PAINTED <G-28> <G-29>) T NIL)
((LAST-SCHEDULED <G-28> <V141>) T ((LATER <V141> <V140>)))


------------------------------------------------
NE for PSG (SCHEDULED G-26 SPRAY-PAINTER G-27)

((SCHEDULED <G-26> SPRAY-PAINTER <G-27>) T NIL)
((LAST-SCHEDULED <G-26> <G-27>) T NIL)
((PAINTED <G-26> <V138>) T ((SPRAYABLE <V138>)))
((~ (LAST-SCHEDULED <G-26> <V137>)) (NOT-EQUAL <V137> <G-27>)
 ((LATER <G-27> <V137>)))
((~ (SURFACE-CONDITION <G-26> <W77>)) T NIL)
((TEMPERATURE <G-26> COLD) (~ (CLAMPABLE <G-26> SPRAY-PAINTER)) NIL)
((SHAPE <G-26> <V136>) T ((REGULAR-SHAPE <V136>)))
((IS-OBJECT <G-26>) T NIL)


------------------------------------------------
NE for PSG (SCHEDULED G-24 WELDER G-25)

((SCHEDULED <G-24> WELDER <G-25>) T NIL)
((JOINED <V132> <V131> <V128>) T
 ((CAN-BE-WELDED <V132> <V131> <V128>)
  (COMPOSITE-OBJECT <G-24> <V128> <V132> <V131>)))
((IS-OBJECT <G-24>) T NIL)
((TEMPERATURE <G-24> HOT) T NIL)
((LAST-SCHEDULED <G-24> <G-25>) T NIL)
((~ (IS-OBJECT <V131>)) (NOT-EQUAL <V131> <G-24>)
 ((CAN-BE-WELDED <V132> <V131> <V128>)
  (COMPOSITE-OBJECT <G-24> <V128> <V132> <V131>)))
((~ (IS-OBJECT <V132>)) (NOT-EQUAL <V132> <G-24>)
 ((CAN-BE-WELDED <V132> <V131> <V128>)
  (COMPOSITE-OBJECT <G-24> <V128> <V132> <V131>)))
((~ (TEMPERATURE <G-24> <W75>)) (NOT-EQUAL <W75> HOT) NIL)
((~ (LAST-SCHEDULED <V131> <V129>))
 (OR (NOT-EQUAL <V129> <G-25>) (NOT-EQUAL <V131> <G-24>))
 ((CAN-BE-WELDED <V132> <V131> <V128>) (LATER <G-25> <V129>)
  (COMPOSITE-OBJECT <G-24> <V128> <V132> <V131>)))
((~ (LAST-SCHEDULED <V132> <V130>))
 (OR (NOT-EQUAL <V130> <G-25>) (NOT-EQUAL <V132> <G-24>))
 ((CAN-BE-WELDED <V132> <V131> <V128>) (LATER <G-25> <V130>)
  (COMPOSITE-OBJECT <G-24> <V128> <V132> <V131>)))


------------------------------------------------
NE for PSG (JOINED G-21 G-22 G-23)

((~ (LAST-SCHEDULED <G-21> <V112>)) T
 ((COMPOSITE-OBJECT <V113> <G-23> <G-21> <G-22>)))
((~ (LAST-SCHEDULED <G-22> <V111>)) T
 ((COMPOSITE-OBJECT <V113> <G-23> <G-21> <G-22>)))
((~ (IS-OBJECT <G-21>)) T ((COMPOSITE-OBJECT <V113> <G-23> <G-21> <G-22>)))
((~ (IS-OBJECT <G-22>)) T ((COMPOSITE-OBJECT <V113> <G-23> <G-21> <G-22>)))
((IS-OBJECT <V113>) T ((COMPOSITE-OBJECT <V113> <G-23> <G-21> <G-22>)))
((JOINED <G-21> <G-22> <G-23>) T NIL)


------------------------------------------------
NE for PSG (SCHEDULED G-19 BOLTING-MACHINE G-20)

((SCHEDULED <G-19> BOLTING-MACHINE <G-20>) T NIL)
((JOINED <V104> <V103> <V100>) T
 ((CAN-BE-BOLTED <V104> <V103> <V100>)
  (COMPOSITE-OBJECT <G-19> <V100> <V104> <V103>)))
((IS-OBJECT <G-19>) T NIL)
((LAST-SCHEDULED <G-19> <G-20>) T NIL)
((~ (IS-OBJECT <V103>)) (NOT-EQUAL <V103> <G-19>)
 ((CAN-BE-BOLTED <V104> <V103> <V100>)
  (COMPOSITE-OBJECT <G-19> <V100> <V104> <V103>)))
((~ (IS-OBJECT <V104>)) (NOT-EQUAL <V104> <G-19>)
 ((CAN-BE-BOLTED <V104> <V103> <V100>)
  (COMPOSITE-OBJECT <G-19> <V100> <V104> <V103>)))
((~ (LAST-SCHEDULED <V103> <V101>))
 (OR (NOT-EQUAL <V101> <G-20>) (NOT-EQUAL <V103> <G-19>))
 ((CAN-BE-BOLTED <V104> <V103> <V100>) (LATER <G-20> <V101>)
  (COMPOSITE-OBJECT <G-19> <V100> <V104> <V103>)))
((~ (LAST-SCHEDULED <V104> <V102>))
 (OR (NOT-EQUAL <V102> <G-20>) (NOT-EQUAL <V104> <G-19>))
 ((CAN-BE-BOLTED <V104> <V103> <V100>) (LATER <G-20> <V102>)
  (COMPOSITE-OBJECT <G-19> <V100> <V104> <V103>)))
((LAST-SCHEDULED <V104> <V106>) (~ (HAS-HOLE <V104> <V99> <V100>))
 ((LATER <V106> <V105>) (CAN-BE-BOLTED <V104> <V103> <V100>) (IS-BOLT <V98>)
  (IS-WIDTH <V99> <V98>) (LATER <G-20> <V102>) (LATER <G-20> <V101>)
  (COMPOSITE-OBJECT <G-19> <V100> <V104> <V103>)))
((HAS-HOLE <V104> <V99> <V100>) (~ (HAS-HOLE <V104> <V99> <V100>))
 ((CAN-BE-BOLTED <V104> <V103> <V100>) (IS-BOLT <V98>) (IS-WIDTH <V99> <V98>)
  (COMPOSITE-OBJECT <G-19> <V100> <V104> <V103>)))
((~ (LAST-SCHEDULED <V104> <V105>))
 (AND (~ (HAS-HOLE <V104> <V99> <V100>))
      (OR (NOT-EQUAL <V105> <G-20>) (NOT-EQUAL <V104> <G-19>)))
 ((LATER <V106> <V105>) (CAN-BE-BOLTED <V104> <V103> <V100>) (IS-BOLT <V98>)
  (IS-WIDTH <V99> <V98>) (COMPOSITE-OBJECT <G-19> <V100> <V104> <V103>)))
((~ (LAST-SCHEDULED <V103> <V107>))
 (AND (~ (HAS-HOLE <V103> <V99> <V100>))
      (OR (NOT-EQUAL <V107> <G-20>) (NOT-EQUAL <V103> <G-19>)))
 ((LATER <V108> <V107>) (CAN-BE-BOLTED <V104> <V103> <V100>) (IS-BOLT <V98>)
  (IS-WIDTH <V99> <V98>) (COMPOSITE-OBJECT <G-19> <V100> <V104> <V103>)))
((HAS-HOLE <V103> <V99> <V100>) (~ (HAS-HOLE <V103> <V99> <V100>))
 ((CAN-BE-BOLTED <V104> <V103> <V100>) (IS-BOLT <V98>) (IS-WIDTH <V99> <V98>)
  (COMPOSITE-OBJECT <G-19> <V100> <V104> <V103>)))
((LAST-SCHEDULED <V103> <V108>) (~ (HAS-HOLE <V103> <V99> <V100>))
 ((LATER <V108> <V107>) (CAN-BE-BOLTED <V104> <V103> <V100>) (IS-BOLT <V98>)
  (IS-WIDTH <V99> <V98>) (LATER <G-20> <V102>) (LATER <G-20> <V101>)
  (COMPOSITE-OBJECT <G-19> <V100> <V104> <V103>)))


------------------------------------------------
NE for PSG (SCHEDULED G-17 DRILL-PRESS G-18)

((SCHEDULED <G-17> DRILL-PRESS <G-18>) T NIL)
((LAST-SCHEDULED <G-17> <G-18>) T NIL)
((HAS-HOLE <G-17> <V90> <V89>) T ((IS-DRILLABLE <G-17> <V89>) (HAVE-BIT <V90>)))
((~ (LAST-SCHEDULED <G-17> <V88>)) (NOT-EQUAL <V88> <G-18>)
 ((LATER <G-18> <V88>)))
((IS-OBJECT <G-17>) T NIL)


------------------------------------------------
NE for PSG (HAS-HOLE G-14 G-15 G-16)

((IS-OBJECT <G-14>) T NIL)
((~ (LAST-SCHEDULED <G-14> <V83>)) T ((LATER <V84> <V83>)))
((HAS-HOLE <G-14> <G-15> <G-16>) T NIL)
((LAST-SCHEDULED <G-14> <V84>) T ((LATER <V84> <V83>)))


------------------------------------------------
NE for PSG (SCHEDULED G-12 PUNCH G-13)

((SCHEDULED <G-12> PUNCH <G-13>) T NIL)
((LAST-SCHEDULED <G-12> <G-13>) T NIL)
((SURFACE-CONDITION <G-12> ROUGH) T NIL)
((HAS-HOLE <G-12> <V82> <V81>) T ((IS-PUNCHABLE <G-12> <V82> <V81>)))
((~ (LAST-SCHEDULED <G-12> <V80>)) (NOT-EQUAL <V80> <G-13>)
 ((LATER <G-13> <V80>)))
((~ (SURFACE-CONDITION <G-12> <W62>)) (NOT-EQUAL <W62> ROUGH) NIL)
((TEMPERATURE <G-12> COLD) (~ (CLAMPABLE <G-12> PUNCH)) NIL)
((IS-OBJECT <G-12>) T NIL)


------------------------------------------------
NE for PSG (SCHEDULED G-10 GRINDER G-11)

((SCHEDULED <G-10> GRINDER <G-11>) T NIL)
((LAST-SCHEDULED <G-10> <G-11>) T NIL)
((SURFACE-CONDITION <G-10> SMOOTH) T NIL)
((~ (LAST-SCHEDULED <G-10> <V76>)) (NOT-EQUAL <V76> <G-11>)
 ((LATER <G-11> <V76>)))
((~ (PAINTED <G-10> <W59>)) T NIL)
((~ (SURFACE-CONDITION <G-10> <W60>)) (NOT-EQUAL <W60> SMOOTH) NIL)
((IS-OBJECT <G-10>) T NIL)


------------------------------------------------
NE for PSG (SURFACE-CONDITION G-9 SMOOTH)

((SCHEDULED <G-9> GRINDER <V74>) T ((LATER <V74> <V73>)))
((LAST-SCHEDULED <G-9> <V74>) T ((LATER <V74> <V73>)))
((SURFACE-CONDITION <G-9> SMOOTH) T NIL)
((~ (LAST-SCHEDULED <G-9> <V73>)) T ((LATER <V74> <V73>)))
((~ (PAINTED <G-9> <W55>)) T NIL)
((~ (SURFACE-CONDITION <G-9> <W56>)) (NOT-EQUAL <W56> SMOOTH) NIL)
((IS-OBJECT <G-9>) T NIL)


------------------------------------------------
NE for PSG (SCHEDULED G-7 LATHE G-8)

((SCHEDULED <G-7> LATHE <G-8>) T NIL)
((SCHEDULED <G-7> LATHE <W50>) T NIL)
((LAST-SCHEDULED <G-7> <W50>) T NIL)
((SHAPE <G-7> CYLINDRICAL) T NIL)
((SURFACE-CONDITION <G-7> ROUGH) T NIL)
((~ (PAINTED <G-7> <W51>)) T NIL)
((~ (SURFACE-CONDITION <G-7> <W52>)) (NOT-EQUAL <W52> ROUGH) NIL)
((~ (SHAPE <G-7> <V70>)) (NOT-EQUAL <V70> CYLINDRICAL) NIL)
((IS-OBJECT <G-7>) T NIL)


------------------------------------------------
NE for PSG (SHAPE G-6 CYLINDRICAL)

((IS-OBJECT <G-6>) T NIL)
((~ (SHAPE <G-6> <V65>)) (NOT-EQUAL <V65> CYLINDRICAL) NIL)
((~ (SURFACE-CONDITION <G-6> <W41>)) (NOT-EQUAL <W41> ROUGH) NIL)
((~ (PAINTED <G-6> <W40>)) T NIL)
((SHAPE <G-6> CYLINDRICAL) T NIL)
((LAST-SCHEDULED <G-6> <V63>) T NIL)


------------------------------------------------
NE for PSG (SCHEDULED G-4 ROLLER G-5)

((SCHEDULED <G-4> ROLLER <G-5>) T NIL)
((LAST-SCHEDULED <G-4> <G-5>) T NIL)
((SHAPE <G-4> CYLINDRICAL) T NIL)
((TEMPERATURE <G-4> HOT) T NIL)
((~ (HAS-HOLE <G-4> <W27> <W26>)) T NIL)
((~ (PAINTED <G-4> <W28>)) T NIL)
((~ (SURFACE-CONDITION <G-4> <W29>)) T NIL)
((~ (LAST-SCHEDULED <G-4> <V59>)) (NOT-EQUAL <V59> <G-5>) ((LATER <G-5> <V59>)))
((~ (TEMPERATURE <G-4> <W30>)) (NOT-EQUAL <W30> HOT) NIL)
((~ (SHAPE <G-4> <W31>)) (NOT-EQUAL <W31> CYLINDRICAL) NIL)
((IS-OBJECT <G-4>) T NIL)


------------------------------------------------
NE for PSG (SCHEDULED G-2 POLISHER G-3)

((SCHEDULED <G-2> POLISHER <G-3>) T NIL)
((LAST-SCHEDULED <G-2> <G-3>) T NIL)
((SURFACE-CONDITION <G-2> POLISHED) T NIL)
((~ (LAST-SCHEDULED <G-2> <V57>)) (NOT-EQUAL <V57> <G-3>) ((LATER <G-3> <V57>)))
((~ (SURFACE-CONDITION <G-2> <W19>)) (NOT-EQUAL <W19> POLISHED) NIL)
((IS-OBJECT <G-2>) T NIL)


------------------------------------------------
NE for PSG (SURFACE-CONDITION G-1 POLISHED)

((SCHEDULED <G-1> POLISHER <V55>) T ((LATER <V55> <V54>)))
((LAST-SCHEDULED <G-1> <V55>) T ((LATER <V55> <V54>)))
((SURFACE-CONDITION <G-1> POLISHED) T NIL)
((~ (LAST-SCHEDULED <G-1> <V54>)) T ((LATER <V55> <V54>)))
((~ (SURFACE-CONDITION <G-1> <W17>)) (NOT-EQUAL <W17> POLISHED) NIL)
((IS-OBJECT <G-1>) T NIL)