DTV12 — member has index in sequence has no result

In Annex D.2.2, the entry for ‘member has index in sequence’ has a main sentential form and two Synonymous noun Forms that are followed by definitions of CLIF functions and OCL operations. The first Note reads:

The primary verb concept and the synonymous form given above are “sentential forms” that yield a Boolean result.

A verb concept is not a sentential form and it does not “yield a boolean result”. What is meant is that the verb concept wording is a sentential form, and the corresponding CLIF predicate and the OCL operation yield a boolean result. This pattern must be true of many other verb concepts in the vocabulary. It is strange that it first appears in an Annex.

The Definition can be simplified to: Some sequence position of the sequence has an index that is equal to the index and has a member that is the member.

In addition, one of the synonymous forms has inconsistent type setting.

Reword the Note to say that the CLIF predicate and the UML/OCL operation derived from the primary wording yield a Boolean result, while those derived from the noun forms return the index value or the member.
The CLIF and OCL relations for index of member in sequence, however, have no corresponding function. The only things that have indices in a sequence are those that are members of exactly one sequence position in the sequence. So the would-be ‘function’ is not defined on ‘thing’. This ‘noun form’ is therefore deleted. The only use of it is in the definition of ‘time point has index’. That definition is corrected. All the rest of the uses in the text are as ‘index of time point’.
The wording of an introductory paragraph to Section D.2 (Sequences) is somewhat misleading about the relationship of time points and time intervals to indices. It is revised.