DTV11 — time interval meets time interval is incorrectly defined in SBVR SE

In clause 8.1.3, the definition of time interval1 meets time interval2:

“the time interval1 is before the time interval2 and the time interval1 is not before a time interval3 that is before the time interval2”

is inaccurate at best. The CLIF and OCL definitions are correct.

As stated, the definition says that there is one time interval3 that is before time interval2 and that time interval1 is not before, but it does not say that there is no other time interval3 is before time interval2 and that time interval1 is not before. The definition should read:

“time interval1 is before time interval2 and there is NO time interval3 that is after time interval1 that is before time interval2”

This revised statement matches the CLIF and OCL definitions.

There may be other such misstatements in 8.1.3.

Correct the text as recommended