(define
	(problem wash_car)

	(:domain wash)

	(:init (bucket_filled))
	(:goal (not (bucket_filled)))
)