A little bug in ask (part 2).

This pull request just correct this wrong result
ask(Q.positive(x), Q.positive(x) | Q.positive(y))