Data Transformation Engine Type Designer Reference Guide

Chapter 13 - Distinguishable Objects Initiator-Distinguishable Types
It does not have a fixed syntax.
It does not have a terminator.
It is not postfix delimited with a last component with a fixed range.
Its last component is not bound.
The unbound set of Legacy File would be all of its unbound components, starting
from the last component and moving up the list, until an unbound component is
reached that does not have a range minimum of zero.
The components Summary Record (0:2) and Detail Record (s) are
unbound and have a range minimum of zero.
The component Message Record (1:5) is unbound, but its range minimum is
not zero, so Message Record (1:5) concludes the unbound set of Legacy
File.
The unbound set of Legacy File is Summary Record, Detail Record, and
Message Record.
Now, assume that the definition of Legacy File is as shown below:
In this example, Message Record is bound, and is not in the unbound set of
Legacy File. The unbound set includes Summary Record and Detail Record.
Initiator-Distinguishable Types
Initiator-distinguishable types are used during validation to determine existence of
a type object based on the existence of its initiator.
Determining if a Component is Initiator-Distinguishable from its
Following Set
A component is initiator-distinguishable from its following set if:
The component is not a member of the identifier set and