(VAR x y z)
(RULES
*(x,+(y,z)) -> +(*(x,y),*(x,z))
)
(COMMENT Example 18 in \cite{D33})