11.3 语义变量和语义函数