Andrew Patterson: The width attribute is defined as a DV_DURATION type and it is required. However the text says that it should be Void if the Interval_Event is instantaneous. There is also an invariant preventing width from being Void.
Tim Cook: I always read this to mean "where the event is instantaneous (i.e a POINT_EVENT) the duration is void". So I would contend that an INTERVAL_EVENT cannot be instantaneous, rather than allowing the INTERVAL_EVENT duration to be 0.
I agree that the wording could be better to clarify which interpretation is right..
Approved by EB, RC, TB, JA, SH
Approved by EB, RC, TB, JA, DK, SH
Passed by EB, RC, TB, JA, DK, SH