SBVR12 — Align Definitions of Modal Entries in Clauses 8, 9 & 10

The definitions in most of the model entries in Clause 8.1.2 do not align with Clause 9 and Clause 10 modal definitions.
Resolution:
Align the definitions in Clause 8, 9 & 10 by changing the definitions in Clause 8; adding an intermediate concept to make the definition of “proposition is permitted to be true” intelligible to business people; and adding a definition for “actual world” to Clause 10.
Revised Text:
REPLACE the Definition in the entry for “proposition is necessarily true” in Clause 8.1.2 on printer page 26:

Definition: the proposition always corresponds to an actuality

WITH:

Definition: the proposition corresponds to an actuality in all possible worlds

REPLACE the Definition in the entry for “proposition is possibly true” in Clause 8.1.2 on printer page 26:

Definition: it is possible that the proposition corresponds to an actuality

WITH:

Definition: the proposition corresponds to an actuality in some possible world

Add a new Entry after the entry for “proposition is obligated to be true” in Clause 8.1.2 on printer page 26:

proposition is obligated to be false
Definition: the proposition does not correspond to an actuality in any acceptable world

REPLACE the Definition in the entry for “proposition is permitted to be true” in Clause 8.1.2 on printer page 27:

Definition: the proposition corresponds to an actuality in at least one acceptable world.

WITH:

Definition: the proposition is not obligated to be false

REPLACE the Definition in the entry for “permissibility formulation” in Clause 9.2.4 on printer page 57:

Definition: modal formulation that formulates that the meaning of its embedded logical formulation is true in some acceptable world

WITH:

Definition: modal formulation that formulates that the meaning of its embedded logical formulation is permitted to be true

ADD immediately after the entry for “acceptable world” in Clause 10.1.2 on printed page 111 the following new entry:

actual world
Definition: the possible world that is taken to be actual for some purpose, in particular, for the conduct of business and the application of business rules
Note: the actual world is a set of things, situations and facts about them that some person or organization takes to be true for some purpose. In most cases, it is the best estimate of the actual state of the world that is of interest at a particular time.

Align the definitions in Clause 8, 9 & 10 by changing the definitions in Clause 8; adding an intermediate concept to make the definition of “proposition is permitted to be true” intelligible to business people; and adding a definition for “actual world” to Clause 10.