028 .4.2 reduction归约子语(2)