027 .4.2 reduction归约子语(1)