SBVR11 — 'Variable' should be renamed as 'formulaic variable' or its meaning clarified

Is a 'boolean variable' a proposition? It is defined to be a variable whose referents are truth values, and I have no idea whether it is a 'meaning'.

I believe 'variable' is used in SBVR in the sense of 'formulaic variable' ... but it's not clear from its definition alone. The point needs to be clarified; otherwise, it will only continue to cause problems. We shouldn't have real-world words being used in a special sense in SBVR

The term “boolean variable” is not used in the SBVR specification.
The concept ‘variable’ is clearly defined in Clause 9 and all the kinds of its referents (instances) is made very clear in the Note in the entry for ‘variable’. The concept ‘variable’ is, of course, a meaning, The instances of the concept ‘variable’ are things in the universe of discourse. Propositions are meanings in an SBVR model.
Revised Text:
No change.
Disposition: Closed, No Change Required