条件式if E1 then E2 else E3的语义解释为：若布尔式E1为真，则条件表达式值取E2的值；否则条件表达式值取E3的值。请写出if E1 then E2 else E3的适合语法制导翻译的产生式。

if E1 then E2 else E3 的适合语法制导翻译的产生式可以写成：

S → if E1 then L1 else L2 { S.code = merge(merge(E1.truelist, gen("goto", _, _, _)), merge(L1.code, gen("goto", _, _, _)), L2.code) }

其中，S 表示语句的产生式，E1 是布尔表达式，L1 和 L2 分别表示 E2 和 E3 的语句块。truelist 是 E1 为真时跳转的指令列表，code 是当前语句的指令列表，gen 是生成指令的函数，merge 是合并指令列表的函数。

这个产生式的语义动作描述为：

1. 将 E1.truelist 和一个跳转指令 "goto" 合并，跳转到 L1 的代码块。

2. 将 L1.code 和一个跳转指令 "goto" 合并，跳转到 L2 的代码块。

3. 将 L2.code 合并到上述代码块中。

4. 将上述合并后的指令列表赋值给 S.code，即为整个 if 语句的指令列表。

因此，这个语法制导翻译的产生式可以实现 if E1 then E2 else E3 语句的正确翻译。