I think that depends on the goals of the design. The very simple single-grouping type case can be used to prove that something isn't obviously false in isolation.

Once grouping starts to be an issue I think that different spans need to be broken out from the main section and each treated as isolated fragments to validate.