begin%STDB%
nebraska(temperature) :- i=1, x1=4, y1=4.5, x2=19.5, y2=14.5,
			t>=1,t<=15, p=-1,temperature=30.
nebraska(temperature) :- i=2, x1=20, y1=4.5, x2=35, y2=14.5,
			t>=1,t<=15, p=-1,temperature=90.
nebraska(temperature) :- i=3, x1=35.5, y1=5, x2=46, y2=14.5,
			t>=1,t<=15, p=-1,temperature=60.
nebraska(temperature) :- i=4, x1=4, y1=15, x2=23, y2=24.5,
			t>=1,t<=15, p=-1,temperature=70.
nebraska(temperature) :- i=5, x1=23, y1=18, x2=25.5, y2=24.5,
			t>=1,t<=15, p=-1,temperature=80.
nebraska(temperature) :- i=6, x1=26, y1=15, x2=44, y2=24.5,
			t>=1,t<=15, p=-1,temperature=45.
nebraska(temperature) :- i=7, x1=23.3, y1=15, x2=26, y2=17.5,
			t>=1,t<=15, p=-1,temperature=20.
nebraska(temperature) :- i=8, x1=20.5, y1=25, x2=40, y2=35,
			t>=1,t<=15, p=-1,temperature=50.
nebraska(temperature) :- i=9,x1=10,y1=25,x2=20,y2=35,
			t>=1,t<=15, p=-1,temperature=95.
cloud(humidity) :-i=1,x1-0.5t=15,y1+0.5t=17,x2-0.6t=24,y2+0.4t=21,
			t>=1,t<=9, p=-1,humidity=90.
cloud(humidity) :- i=2,x1-0.5t=20,y1+0.5t=27,x2-0.5t=31,y2+0.5t=38,
			t>=1,t<=9, p=-1,humidity=60.
cloud(humidity) :- i=3,x1-0.5t=21,y1+0.5t=18,x2-0.8t=26,y2+0.3t=29,
			t>=1,t<=9, p=-1,humidity=75.
cloud(humidity) :- i=4,x1-0.5t=15,y1=12,x2-0.5t=24,y2=16,
			t>=10,t<=13, p=-1,humidity=80.
cloud(humidity) :- i=5,x1-0.5t=20,y1=22,x2-0.5t=31,y2=33,
			t>=10,t<=13, p=-1,humidity=85.
cloud(humidity)  :- i=6,x1-0.5t=21,y1=13,x2-0.5t=26,y2=24,
			t>=10,t<=13, p=-1,humidity=100.
cloud(humidity)  :- i=7,x1-0.4t=21.5,y1-0.1t=12,x2-0.8t=26,y2-0.3t=23,
			t>=10,t<=15, p=-1,humidity=65.
cloud(humidity)  :- i=8,x1-0.5t=20,y1-0.5t=15,x2-0.5t=31,y2-0.5t=26,
			t>=14,t<=15, p=-1,humidity=70.
cloud(humidity)  :- i=9,x1-0.5t=21,y1-0.5t=6,x2-0.5t=26,y2-0.5t=17,
			t>=14,t<=15, p=-1,humidity=80.
cloud(humidity)  :- i=10,x1-0.5t=13,y1+0.5t=33,x2-t=18,y2-0.3t=37,
			t>=1,t<=15, p=-1,humidity=95.
cloud(humidity)  :- i=11,x1-0.5t=6,y1+0.5t=27,x2-0.5t=12,y2+0.5t=31,
			t>=1,t<=15, p=-1,humidity=75.
/*cool_area(temperature) :- nebraska(temperature),
			p=-1,temperature >= 50, p=-1,temperature <= 80.*/
cool_area(temperature) :- $(temperature>=50,temperature<=80)nebraska(temperature).
cold_area(temperature) :- $(temperature<=30)nebraska(temperature).
wet_cloud(humidity) :- $(humidity>=70)cloud(humidity).
end%STDB%