从
Boolean
表达式创建断言。