set instance rasms robot
set instance one zone
set instance two zone
set predicate (robot_at rasms one)
set goal (and(robot_at rasms two))
run