DTV — DTV Issue: There is no smallest time interval

Section 8.1.1 of the Date Time Vocabulary specifies a minimal mereology for time intervals, but fails to address the question of whether there are any "atoms" – time intervals that contain no other time intervals.
If there could be atomic time intervals, then the axioms in section 8.1 are insufficient to prove some of the "corollaries". It appears that the intent of 8.1 requires an axiom that is not stated: There is no smallest time interval. For each time interval t, there is a time interval that is a proper part of t.

Also, it is not clear from 8.1.3 that any time interval must have a proper part that starts it, or a proper part that finishes it. A proper part need not have a complement, and no axiom asserts that "time interval1 is properly during time interval2" implies the existence of "complementary" time intervals that start and end time interval2. It only implies the existence of two disjoint proper parts

The issue is accepted. The missing axiom will be added to 8.1.1, and a third complement axiom will be added to 8.1.6.