没有找到与 假定 assume 相关的结果。