@XFAIL
def test_bounded_xfail():
 assert (ask(Q.finite((sin(x) ** x))) is True)
 assert (ask(Q.finite((cos(x) ** x))) is True)

@ XFAIL def test_bounded_xfail ( ) : assert ( ask ( Q . finite ( ( sin ( x ) ** x ) ) ) is True ) assert ( ask ( Q . finite ( ( cos ( x ) ** x ) ) ) is True )
we need to support relations in ask for this to work .