文法，推导，句子的例子