学习是对领域语法的推理