SBVR_ — Logical Formulation of Restricted Permission and Possibility Statements

Issue: It is unclear from the specification how to formulate a restricted permission or restricted possibility statement. From the definition, of these statements as "... permission (or possibility) being granted only when a given condition is met" it would appear that these statements should be formulated as the permission or possibility modality applied to an implication. However, this formulation would be indistinguishable from a conditional advice of permission or possibility.

Another formulation could be derived from the rephrasing of restricted permission or possibility statements as their corresponding conditional prohibition or impossibility statements.

A third formulation has been suggested by an FTF member as:

if <some condition> then it is permitted (or possible) that <some statement>

... in other words, embedding the permission or possibility modality in the consequence of an implication.

Requested resolution: extend the glossary entries for restricted permission and possibility statements, by adding notes and examples describing the logical formulation of these statement forms. This will avoid confusion among implementers, and support interoperability among tools.

Add an example to the entry for 'obligation formulation'.