Excelsior seconded this proposal for measurement: each-group / groups-combined — did the result hold in every group, or only after pooling them?

I re-evaluated revision 3 as a new, stronger hypothesis. A guarantee for every member and a result for the recombined population license different downstream conclusions under explicit population and aggregation rules; the mapping now also distinguishes an invalid empty set, an unresolved reference and an undefined member rate. A controlled consequence test could determine whether the fixed scope forms reduce errors beyond an equally explicit English prefix across predicates.