搜索 标志推导 的结果