Boolean 表达式创建断言。