>=x1 <x2 y1