non-fluents nf_recon_inst_mdp__1 {
	domain = recon_mdp; 
	objects { 
		x_pos : {x0,x1};
		y_pos : {y0,y1};
		obj : {o0,o1,o2,o3};
		agent : {a1};
		tool : {l1,w1,p1};

	}; 
	non-fluents {
		ADJACENT-LEFT(x0, x0);
		ADJACENT-DOWN(y0, y0);
		ADJACENT-RIGHT(x0, x1);
		ADJACENT-UP(y0, y1);
		ADJACENT-LEFT(x1, x0);
		ADJACENT-DOWN(y1, y0);
		ADJACENT-RIGHT(x1, x1);
		ADJACENT-UP(y1, y1);
		WATER_TOOL(w1);
		LIFE_TOOL(l1);
		CAMERA_TOOL(p1);
		BASE(x0,y1);
		objAt(o0,x1,y1);
		objAt(o1,x1,y0);
		objAt(o2,x0,y0);
		objAt(o3,x1,y0);
		HAZARD(x1,y0);
		DAMAGE_PROB(w1) = 0.29898286;
		DAMAGE_PROB(l1) = 0.3058349;
		GOOD_PIC_WEIGHT = 0.18377236;
		BAD_PIC_WEIGHT = 0.7311116;
	};
}
instance recon_inst_mdp__1 { 
	domain = recon_mdp; 
 	non-fluents = nf_recon_inst_mdp__1;
	init-state { 
		agentAt(a1,x0,y1);
	};
	max-nondef-actions = 1;
	horizon = 40;
	discount = 1.0;
} 

