SBVR16 — Annex F is in the wrong specification

Date/Time Annex F is titled: Annex F Simplified Syntax for Logical Formulations.

First, the title is wrong. The Date/Time standard contains logical formulations in OCL and CLIF. This Annex is a syntax for SBVR 'logical formulations', and this language, like SBVR Structured English, is somehow related to the vocabulary of SBVR clause 9. It should be titled: Simplified Syntax for SBVR Logical Formulations.

Secondly, as a consequence, this Annex is totally out of place in the Date/Time Vocabulary specification. If this is a useful notation for SBVR formulations, and is used in the SBVR community, then it should surely be an informative annex to the SBVR v1.1 specification, and simply be referenced in the Date/Time Annex (E) that uses it. If it is not used in the SBVR community, then it is certainly inappropriate for Date/Time to include it.
Recommendation: Delete Annex F and refer to the OMG (SBVR) specification that actually includes it. Otherwise, use a standardized SBVR notation in Annex E.
The Date/Time final submission should have identified Annex F as a proposed addition to the SBVR specification – a new informative Annex, and we may assert that OMG adoption of the Date/Time submission constitutes adoption of Annex F as an addition to the SBVR specification.