6.4.4 陈述结构实现为承诺句的功能变量