决策问题：
客户问题关键词：
行动和机制关键词：
结果与约束关键词：
档案库选择：
已尝试查询：
案例纳入和排除理由：
反例搜索：
剩余缺口与停止条件：