SBVR11 — Use of "denotes" in note for "state of affairs"

The note under "state of affairs" reads:

"A state of affairs can be possible or impossible. Some of the possible ones are actualities. A state of affairs is what is denoted by a proposition. A state of affairs either occurs or does not occur, whereas a proposition is either true or false. A state of affairs is not a meaning. It is a thing that exists and can be an instance of a concept, even if it does not happen. "

Although unstyled, the use of "denoted by" is likely to confuse readers. The fact symbol "denotes" is used in clause 11.2.1.3 in the fact type "term denotes thing ". But a proposition is not a term, so this fact type is not what is meant in the note. The note is trying to use a passive version of "meaning corresponds to thing" from clause 8.6.1.

Proposed resolution:

1. Add a synonymous form to "meaning corresponds to thing" such as "thing is meant by meaning".
2. Revise the note under "state of affairs" to use the new synonymous form and style the wording to make clear the reference to this formal SBVR concept.

1. Add a synonymous form to "meaning corresponds to thing" such as "thing is meant by meaning".
2. Revise the note under "state of affairs" to use the new synonymous form and style the wording to make clear the reference to this formal SBVR concept.Resolution: