第二节 语义推理