(define (problem strips-teatime) (:domain tea1) (:objects (1..8 - room )) (:theory (teamachine 1) (cupstack 2) (forall (?r -room) (implies (and (> ?r 0) (<= (+ ?r 2) 8)) (connected ?r (+ ?r 2)))) ) (:init (at 1) (free) (forall (?r -room ) (ordered ?r) ) ) (:goal (forall (?r - room) (not (ordered ?r)) )) )