def refine_Relational(expr, assumptions):
 return ask(Q.is_true(expr), assumptions)

def refine_Relational ( expr , assumptions ) : return ask ( Q . is_true ( expr ) , assumptions )
handler for relational .