(define (problem schedule-4-2) (:domain schedule) (:objects D0 C0 B0 A0 - part CIRCULAR OBLONG - ashape BLUE YELLOW RED BLACK - colour TWO THREE ONE - width BACK FRONT - anorient ) (:init (SHAPE A0 CYLINDRICAL) (SURFACE-CONDITION A0 POLISHED) (PAINTED A0 BLACK) (HAS-HOLE A0 ONE FRONT) (TEMPERATURE A0 COLD) (SHAPE B0 CIRCULAR) (SURFACE-CONDITION B0 ROUGH) (PAINTED B0 YELLOW) (HAS-HOLE B0 ONE BACK) (TEMPERATURE B0 COLD) (SHAPE C0 OBLONG) (SURFACE-CONDITION C0 POLISHED) (PAINTED C0 RED) (HAS-HOLE C0 THREE FRONT) (TEMPERATURE C0 COLD) (SHAPE D0 CYLINDRICAL) (SURFACE-CONDITION D0 ROUGH) (PAINTED D0 BLUE) (HAS-HOLE D0 THREE FRONT) (TEMPERATURE D0 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 (PAINTED B0 RED) (SURFACE-CONDITION D0 SMOOTH) (SHAPE B0 CYLINDRICAL) (SHAPE C0 CYLINDRICAL) )))