标签: 隐式推理