3.2 自然推理系统P