SBVR14 — Notation for the Logical Representation of Meaning

When DTV v1.0-alpha was adopted, it contained a proposed simplified text representation for SBVR LRMV constructs (as distinct from the long and involved sequences of sentences used in SBVR examples, that make references to undefined concepts like'first variable'). The DTV FTF resolved issues about the disposition of the annex containing this SBVR LRMV notation by improving the description of the notation, but also revising the informative text that used the notation in such a way that the notation is no longer used in DTV. This LRMV notation therefore no longer has a use in DTV and is out of scope for the DTV specification. It is likely that the annex (DTV v1.1 Annex F) will be deleted from DTV v1.2.

The simplified LRMV notation has value for the wider SBVR community, and its description should be an informative Annex to SBVR. It is within the expertise and purview of the SBVR RTF to address any problems with the notation specification, and to maintain alignment with the SBVR specification generally. Accordingly, the SBVR RTF should maintain the adopted text of DTV Annex F as an Annex to SBVR.

Deferred to SBVR v1.5 Revision Task Force because the SBVR v1.4 RTF was requested to close before it was finished so the SBVR RTF could be convert to JIRA.