; a STRIPS-like planning problem

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

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

	; initial state
	(:init)

	; the goal
	(:goal
		(envelope_sealed)
	)
)