hyp(rectangle(dummy,X1,Y1,X2,Y2)) :-
	bottom_left_x(X1),
	bottom_left_y(Y1),
	x_dist(XD),
	y_dist(YD),
	X2 is X1 + XD,
	Y2 is Y1 + YD.


0.1 :: bottom_left_x(1).
0.2 :: bottom_left_x(2).
0.1 :: bottom_left_x(3).
0.1 :: bottom_left_x(4).
0.1 :: bottom_left_x(5).
0.2 :: bottom_left_x(6).
0.1 :: bottom_left_x(7).
0.1 :: bottom_left_x(8).

bottom_left_y(Y) :-
	bottom_left_x(X),
        Y is X + 1.

0.3 :: x_dist(1).
0.2 :: x_dist(2).
0.2 :: x_dist(3).
0.1 :: x_dist(4).
0.1 :: x_dist(5).
0.1 :: x_dist(6).

y_dist(D) :-
	x_dist(XD),
	D is XD + 1.