7.5.4 语言推理