(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)) ))
)