I think that this can be improved by removing the All and Any operators and instead letting segmentations be nested. So for example:

  All
    a = b
    Any
      All
        c = d
        d = f
      c = e

would be

  a = b
    c = d
      d = f
    c = e

I think that it is more intuitive to segment the set as you go.