; a STRIPS-like planning problem

(define
	; the name of this specific problem
	(problem impossible)

	; the domain, defined in another file
	(:domain envelope)

	; initial state
	(:init (envelope_sealed))

	; the goal
	(:goal
		(letter_in_envelope)
	)
)