You can just do
`assert ask(Q.positive(asin(x)), Q.positive(x) & Q.nonpositive(x - 1)) is True`