:-initialization(main).

main :-
	Y=(Y,b), Z=(Y,c), compare(<,Y,Z).