14.5 以kick的各种构式为例看构式的归结