x <= 0 and y >= 0 and x^2+y^2 <= 16 and x^2/4+y^2 >= y