DTV12 — Time Point Converts to Time Point Sequence

In the beta-2 document, clause 10.8 defines a verb concept 'time point converts to time point sequence on time scale'. A typical use is 'Gregorian month converts to time point sequence on the Gregorian days scale', which is given as a specialization. The 'time scale' role is redundant in the main verb concept, and the use of individual concepts in the derived verb concepts is poor practice.

The RTF agrees that “on time scale” is redundant in the two conversion verb concepts. It is removed, the text preceding the verb concept entry, and the other elements of the entry, are revised to match. There is a corresponding Necessity (which is not stated): Each time point converts to at most one time point sequence/time set on any given time scale. Text in this section that refers to specializations for the Gregorian calendar is revised to refer to clause 11.
'Gregorian month converts to time point sequence on the Gregorian days scale' is a binary verb concept whose definition should be a use of 'time point converts to time point sequence'. The Definition given is a means of stating a Necessity. And this is also the case with the other two uses of ‘converts to’ in 11.8 and 11.9. Most of the perceived problem is resolved by restating the binary verb concepts more simply, e.g., Gregorian month has Gregorian days sequence, using the ‘converts to’ verb concept in the Definition, and stating the computations as Necessities.
The currently informal mechanism for relating month-of-year to day-of-year in 11.7 is formalized and used in converting a Gregorian month to Gregorian days.
Tables 11.1 and 11.2 incorrectly identify the columns as properties of Gregorian month – they are properties of Gregorian month-of-year. The table headings are corrected.
While the concepts in Section 11.8 and 11.9 are unchanged, the formulations are modified to use the simplified verbs and separate the Necessities.