(define
	(problem risk)

	(:domain move)

	(:objects
		infantry tanks - object
		germany france spain italy poland - position
	)

	(:init
		(isin infantry germany)
		(isin tanks poland)
		(next germany france)
		(next germany poland)
		(next france italy)
		(next france spain)
	)

	(:goal
		(and
			(isin tanks spain)
			(isin infantry poland)
		)
	)
)