You mean something like this?
```
assert ask(Q.positive(asin(Symbol('p', positive=True))), Q.positive(p)) is True
```