SBVR11 — "Aggregation Formulation" Needs to Be Adjusted

Problem Statement:
1. "Aggregation" is currently used on page 47, but as far as I can tell is not defined anywhere. "Aggregation" should be included in SBVR under its real-world (MWUD). meaning. What is it meant to be (real-world sense).
2. For consistency, "Aggregation Formulation" should probably be renamed "Aggregating Formulae". See other issues submitted concerning "objectification" and "nominalization".

Resolution:

1. "Aggregation" should be included in SBVR under its real-world (MWUD) meaning, and included in the appropriate section.

2. Change each instance of "aggregation formulation" in "aggregating formulae".

SBVR is clear that a ‘Aggregation Formulation’ is a kind of logical formulation and uses the term consistently. Also in Clause 9 “aggregation” is used consistently in context in relation to ‘aggregation formulation’. Since there is no ambiguity within the SBVR specification or no significant likelihood of misinterpreting the SBVR specification based on a different widely-used meaning for the term, making such a wide-spread change is not justified.
Any problems regarding another meaning for aggregation not being included in SBVr requires a separate Issue stating how the SBVR specification is broken.
Revised Text:
No change.
Disposition: Closed, No Change Required