(AF(AG !((g.x<0> = 0) + (g.y<0> = 0))));