(DEFINE (PROBLEM MOVIE-7) (:DOMAIN MOVIE-DOM) (:OBJECTS C1 C2 C3 C4 C5 C6 C7 - CHIPS D1 D2 D3 D4 D5 D6 D7 - DIP P1 P2 P3 P4 P5 P6 P7 - POP Z1 Z2 Z3 Z4 Z5 Z6 Z7 - CHEESE K1 K2 K3 K4 K5 K6 K7 - 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))))