(DEFINE (PROBLEM MOVIE-12) (:DOMAIN MOVIE-DOM) (:OBJECTS C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 C12 - CHIPS D1 D2 D3 D4 D5 D6 D7 D8 D9 D10 D11 D12 - DIP P1 P2 P3 P4 P5 P6 P7 P8 P9 P10 P11 P12 - POP Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 - CHEESE K1 K2 K3 K4 K5 K6 K7 K8 K9 K10 K11 K12 - CRACKERS) (:INIT (NOT (MOVIE-REWOUND)) (NOT (COUNTER-AT-TWO-HOURS)) (NOT (COUNTER-AT-ZERO))) (:GOAL (AND (MOVIE-REWOUND) (COUNTER-AT-ZERO) (HAVE-CHIPS) (HAVE-DIP) (HAVE-POP) (HAVE-CHEESE) (HAVE-CRACKERS))))