begin %STDB%
plane(type) :- i=1,x1+3t=200,y1+0t=180,
			 x2+3t=220, y2=190,
			 t>=1,t<=45,p=-1,s=-1,type="B52".
plane(type) :- i=2,x1+3t=200,y1+4t=197.5,
			 x2+3t=206, y2+4t=207.5,
			 t>=5,t<=40,p=-1,s=-1,type="B52".
plane(type) :- i=3,x1+0.1t=80,y1+0.1t=37.5,
			 x2-0.1t=86, y2-0.1t=47.5,
			 t>=40,t<=44,p=-1,s=-1,type="B52".
plane(type) :- i=4,x1+3t=250,y1=180,
			 x2+3t=270, y2=190,
			 t>=1,t<=45,p=-1,s=-1,type="Mig29".
plane(type) :- i=5,x1+3t=250,y1+4t=197.5,
			 x2+3t=256, y2+4t=207.5,
			 t>=5,t<=40,p=-1,s=-1,type="Mig29".
plane(type) :- i=6,x1+0.1t=130,y1+0.1t=37.5,
			 x2-0.1t=136, y2-0.1t=47.5,
			 t>=40,t<=44,p=-1,s=-1,type="Mig29".
plane(type) :- i=7,x1+3t=300,y1=180,
			 x2+3t=320, y2=190,
			 t>=1,t<=45,p=-1,s=-1,type="Sukoi".
plane(type) :- i=8,x1+3t=300,y1+4t=197.5,
			 x2+3t=306, y2+4t=207.5,
			 t>=5,t<=40,p=-1,s=-1,type="Sukoi".
plane(type) :- i=9,x1+0.1t=180,y1+0.1t=37.5,
			 x2-0.1t=186, y2-0.1t=47.5,
			 t>=40,t<=44,p=-1,s=-1,type="Sukoi".
plane(type) :- i=10,x1+3t=350,y1=180,
			 x2+3t=370, y2=190,
			 t>=1,t<=45,p=-1,s=-1,type="Mirage2000".
plane(type) :- i=11,x1+3t=350,y1+4t=197.5,
			 x2+3t=356, y2+4t=207.5,
			 t>=5,t<=40,p=-1,s=-1,type="Mirage2000".
plane(type) :- i=12,x1+0.1t=230,y1+0.1t=37.5,
			 x2-0.1t=236, y2-0.1t=47.5,
			 t>=40,t<=44,p=-1,s=-1,type="Mirage2000".
plane(type) :- i=13,x1+3t=400,y1=180,
			 x2+3t=420, y2=190,
			 t>=1,t<=45,p=-1,s=-1,type="F16".
plane(type) :- i=14,x1+3t=400,y1+4t=197.5,
			 x2+3t=406, y2+4t=207.5,
			 t>=5,t<=40,p=-1,s=-1,type="F16".
plane(type) :- i=15,x1+0.1t=280,y1+0.1t=37.5,
			 x2-0.1t=286, y2-0.1t=47.5,
			 t>=40,t<=44,p=-1,s=-1,type="F16".
/*select(type) :- plane(type),p=-1,s=-1,type="F16".*/
fleet() :- i=1,x1-3t=40,y1=40,
			 x2-3t=70,y2=50,
			 t>=1,t<=45,p=-1,s=-1.
fleet() :- i=2,x1-3t=140,y1=40,
			 x2-3t=170,y2=50,
			 t>=1,t<=45,p=-1,s=-1.

hit() :- (#()(plane(type))) * fleet().

end%STDB%