Given the two Oz functionsFandG, which of the following construct is an equivalent Kernel Oz language program for the expression {F {G A B} C}?

I. local R2 in local R1 in {G A B R1} {F R1 C R2} end end

II. local R1 in {G A B R1} local R2 in {F R1 C R2} end end

III. local R1 in {G A B R1} {F R1 C} end