(define (problem schedule-7-0) (:domain schedule) (:objects G0 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 CYLINDRICAL) (SURFACE-CONDITION A0 SMOOTH) (PAINTED A0 YELLOW) (HAS-HOLE A0 ONE BACK) (TEMPERATURE A0 COLD) (SHAPE B0 CYLINDRICAL) (SURFACE-CONDITION B0 SMOOTH) (PAINTED B0 BLACK) (HAS-HOLE B0 ONE BACK) (TEMPERATURE B0 COLD) (SHAPE C0 OBLONG) (SURFACE-CONDITION C0 ROUGH) (PAINTED C0 RED) (HAS-HOLE C0 ONE BACK) (TEMPERATURE C0 COLD) (SHAPE D0 CIRCULAR) (SURFACE-CONDITION D0 SMOOTH) (PAINTED D0 YELLOW) (HAS-HOLE D0 ONE FRONT) (TEMPERATURE D0 COLD) (SHAPE E0 CIRCULAR) (SURFACE-CONDITION E0 POLISHED) (PAINTED E0 BLUE) (HAS-HOLE E0 THREE BACK) (TEMPERATURE E0 COLD) (SHAPE F0 CIRCULAR) (SURFACE-CONDITION F0 SMOOTH) (PAINTED F0 RED) (HAS-HOLE F0 THREE FRONT) (TEMPERATURE F0 COLD) (SHAPE G0 OBLONG) (SURFACE-CONDITION G0 SMOOTH) (PAINTED G0 BLACK) (HAS-HOLE G0 THREE BACK) (TEMPERATURE G0 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 F0 POLISHED) (SHAPE G0 CYLINDRICAL) (PAINTED B0 YELLOW) (PAINTED C0 BLACK) (PAINTED E0 BLACK) (SURFACE-CONDITION B0 ROUGH) (SURFACE-CONDITION G0 ROUGH) )))