6.3.1 模态间推理