每个句子都有一个规范推导