SBVR_ — Closed logical formulation formalizes statement

Doesn't the fact type "closed logical formulation formalizes statement" associate such formulations directly to representations? Isn't that in conflict with the indirect relationship in the general SBVR design, which is that "closed logical formulations formulates meaning", and then "statement expresses meaning". Isn't this an error?

Note: this issue relates to existing issue 9945

Improve the definition of 'closed logical formulation formalizes statement' and add an example of how it relates to 'closed logical formulation means statement'. Similarly, improve the definition of 'closed projection formalizes definition' and add an example.