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

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.