Write the semantics of the execution of a local statement that introduces multiple variables simultaneously. For example, the following Oz program

local P in

local Y in

local Z in

Z=1

proc {P X} Y=X end

{P Z}

end

end

end

can be transformed into an equivalent program for which all the declarations have been done altogether:

local P Y Z in

Z=1

proc {P X} Y=X end

{P Z}

end

This assignment extends the kernel language by a declaration statement that introduces multiple variables simultaneously. The statement under consideration is thus

local _{1 n} in end

Give an operational semantics rule where the statement to be pushed is .