(define (problem schedule-6-0) (:domain schedule) (:objects F0 E0 D0 C0 B0 A0 - part CIRCULAR OBLONG - ashape BLUE YELLOW RED BLACK - colour TWO THREE ONE - width BACK FRONT - anorient ) (:init (SHAPE A0 OBLONG) (SURFACE-CONDITION A0 POLISHED) (PAINTED A0 BLUE) (HAS-HOLE A0 ONE BACK) (TEMPERATURE A0 COLD) (SHAPE B0 OBLONG) (SURFACE-CONDITION B0 POLISHED) (PAINTED B0 BLUE) (HAS-HOLE B0 TWO BACK) (TEMPERATURE B0 COLD) (SHAPE C0 CIRCULAR) (SURFACE-CONDITION C0 SMOOTH) (PAINTED C0 YELLOW) (HAS-HOLE C0 THREE FRONT) (TEMPERATURE C0 COLD) (SHAPE D0 CIRCULAR) (SURFACE-CONDITION D0 ROUGH) (PAINTED D0 BLACK) (HAS-HOLE D0 TWO BACK) (TEMPERATURE D0 COLD) (SHAPE E0 CYLINDRICAL) (SURFACE-CONDITION E0 ROUGH) (PAINTED E0 BLUE) (HAS-HOLE E0 ONE FRONT) (TEMPERATURE E0 COLD) (SHAPE F0 OBLONG) (SURFACE-CONDITION F0 ROUGH) (PAINTED F0 RED) (HAS-HOLE F0 THREE FRONT) (TEMPERATURE F0 COLD) (CAN-ORIENT DRILL-PRESS BACK) (CAN-ORIENT PUNCH BACK) (CAN-ORIENT DRILL-PRESS FRONT) (CAN-ORIENT PUNCH FRONT) (HAS-PAINT IMMERSION-PAINTER YELLOW) (HAS-PAINT SPRAY-PAINTER YELLOW) (HAS-PAINT IMMERSION-PAINTER BLUE) (HAS-PAINT SPRAY-PAINTER BLUE) (HAS-PAINT IMMERSION-PAINTER BLACK) (HAS-PAINT SPRAY-PAINTER BLACK) (HAS-PAINT IMMERSION-PAINTER RED) (HAS-PAINT SPRAY-PAINTER RED) (HAS-BIT DRILL-PRESS THREE) (HAS-BIT PUNCH THREE) (HAS-BIT DRILL-PRESS TWO) (HAS-BIT PUNCH TWO) (HAS-BIT DRILL-PRESS ONE) (HAS-BIT PUNCH ONE) ) (:goal (and (SURFACE-CONDITION E0 POLISHED) (PAINTED C0 BLUE) (SURFACE-CONDITION F0 POLISHED) (SHAPE F0 CYLINDRICAL) (SHAPE B0 CYLINDRICAL) (SURFACE-CONDITION C0 ROUGH) )))