SBVR11 — A statement may express no proposition

In clause 8.3.3, in the glossary entry for "statement", SBVR has the
Necessity "Each statement expresses exactly one proposition ". This
Necessity is also shown in figure 8.4 and is cited as an example on printed
page 6. The issue is that some statements do not express propositions
(i.e. a meaning that is true or false, per the definition of 'proposition'
in 8.1.2). There are at least two types of statements that are neither
true nor false: (a) paradoxes, such as "This statement is false"; (b)
atemporal statements used with temporal worlds. For example, the statement
"the board of director meets" is a proposition (i.e. either true or false)
in an atemporal world (i.e.a world that only contains facts about one
moment in time). But in a world that has records of multiple meetings of
the board of directors, the statement is ambiguous. It can be understood as
true if read as meaning "the board of directors meets at some time". It is
either true or false (according to the facts in the world) if it is read as
"the board of directors meets right now". Clearly a statement does not
express a proposition when the statement is paradoxical or ambiguous.

Suggested resolution:

Revise the Necessity to read "Each statement expresses at most one
proposition." Revise the figure and the example to match

Suggested resolution:

Revise the Necessity to read "Each statement expresses at most one
proposition." Revise the figure and the example to match.

Resolution:
A sentence that does not express a proposition is not an expression of a statement. It should be referred to simply as a “sentence”.
1. Add some clarifying words to the definition of ‘statement’ without changing the meaning.
2. Add a note to state that if an expression is an ambiguous sentence, one that represents two different propositions, each of the two representations is a separate statement.
3. Add a note that a paradoxical expression (e.g., “This sentence is false.”) that fails to represent a meaning that is true or false is not considered to be an expression of a statement.
4. Add a note that clarifies the use of “sentence” in relation to ‘statement’.
5. Add a note that time, if it is to be part of the proposition, must be explicit in the statement.
6. Add a Note that using a statement is a descriptive example is merely illustrative and is not an assertion of truth-value.
7. Add a note clarifying the relationship between closed logical formulations and statements of a proposition.
8. Add the fact type ‘expression is unambiguous to speech community’.