(define
	(problem wash_car)

	(:domain wash)

	(:init)
	(:goal (and (car_clean) (bucket_filled)))
)