begin%my_world%
poi_g(id,x,y):- id = 1, x = 6.5, y = 4.5.
poi_g(id,x,y):- id = 2, x = 1, y = 3.
poi_g(id,x,y):- id = 3, x = 3, y = 9.

poi_i(id,name):- id = 1, name = "ruin".
poi_i(id,name):- id = 2, name = "pub".
poi_i(id,name):- id = 3, name = "school".

lake_g(id,x,y):- id = 1, x >= 0, x <= 2, y >= 8, y <= 10.
lake_g(id,x,y):- id = 2, y <= 9.5, y+3x >= 35, y-3x >= -19.

lake_i(id,name):- id = 1, name = "rectangle lake".
lake_i(id,name):- id = 2, name = "triangle lake".

county_g(id,x,y):- id = 1, x>=0, x<=2, y>= 3, y<=10.
county_g(id,x,y):- id = 2, x>=0, x<=2, y<= 3, y>=0.
county_g(id,x,y):- id = 3, x>=2, x<=10, y>= 0, y<=10.

county_i(id,name):- id = 1, name = "north county".
county_i(id,name):- id = 2, name = "south county".
county_i(id,name):- id = 3, name = "east county".

street_g(id,x,y):- id = 1, y>=0, y<= 1, y-0.5x = 0.
street_g(id,x,y):- id = 1, y>=1, y<= 4, y-1.5x = -2.
street_g(id,x,y):- id = 1, y>=4, y<= 7, y+3x = 16.
street_g(id,x,y):- id = 1, y>=7, y<= 8, 3y-x = 18.
street_g(id,x,y):- id = 1, y>=8, y<= 10, x = 6.
street_g(id,x,y):- id = 3, x>=6, x<=7, y -3x = -17.

street_i(id,name):- id = 1, name = "purple street".
street_i(id,name):- id = 3, name = "ferry".
end%my_world%