vertical( seg( point( X,Y), point( X,Y1))).
horizontal( seg( point( X,Y), point( X1, Y))).