3.4.3 含有变量的消解式