(define (problem rochester-door) (:fluents open) (:goal open) (:action pull_door :effect (when hold_lock open)) (:action hold_lock :effect (when pull_door open)))