danryan.us

Again, we need to begin by clarifying the syntax:

If A: until B do C and then do D if E otherwise do F while G. Otherwise if H, then if I do J else do K. Do L.
If A do X otherwise Y

where X = until B do C and then do D if E otherwise do F while G.
and Y = if H, then if I do J else do K. Do L.

Next, we expand (refine) W and V — note that we insert some of the letters from the question and one more "black box" which we label T.

And then U

And finally, let's get inside the blackbox T

And then it can all come together: