item |
item |
The first component or partition is either:
- An item and marked as initiator distinguishable and
Both items are different partitions of the same partitioned subtree,
or The second type has an initiator and those initiators are mutually exclusive,
or Both types have the same initiator and the value of the first item is
distinguishable from the value of the second item, or The second type has
no initiator and the initiator of the first type is distinguishable from the
value of the second type.
- An item and not marked as initiator distinguishable and
Both items are different partitions of the same partitioned subtree,
or The first item has an initiator, second has an initiator and initiator
value of first is distinguishable from initiator value of the second. Both
types have initiators and they are the same, or both types have no initiator
and the value of the first item is distinguishable from the value of the second
item. The first item has an initiator, second does not, and value of initiator
distinguishable from the value of second item. The first item has no initiator,
second does, and the first item's value is distinguishable from the value
of the second item's initiator. |
item |
sequence group, choice group, or unordered group |
The first component or partition is either:
- An item marked as initiator distinguishable and
The second type has an initiator and those initiators are mutually
exclusive, or The second type has no initiator and the item is initiator-distinguishable
from each type in the starting component set of the group.
- An item not marked as initiator distinguishable and
The item and group both have an initiator and the initiator of the
item is distinguishable from the initiator of the group, or The item has
no initiator, the group has an initiator, and the item's value is distinguishable
from the value of group's initiator, or Both types have initiators and they
are the same or both types have no initiator, and the item's value is distinguishable
from the type of each component in the starting component set of the group,
or The item has an initiator, the group has no initiator, and the item is
content-distinguishable from the type of each component in the starting component
set of the group, or The item has no initiator, the group has an initiator,
and the item's value is distinguishable from each type in the starting component
set of the group. |
item |
partitioned item or partitioned group |
The first component or partition is content-distinguishable from each
partition of the second type. |
partitioned item |
item |
Each partition of the first type is content-distinguishable from the
second type. |
partitioned item |
sequence group |
Each partition of the first type is content-distinguishable from the
second type. |
partitioned item |
choice group |
Each partition of the first type is content-distinguishable from second
type. |
partitioned item |
unordered group |
Each partition of the first type is content-distinguishable from second
type. |
partitioned item |
item |
Each partition of the first type is content-distinguishable from second
type. |
partitioned item |
partitioned group |
Each partition of the first type is content-distinguishable from second
type. |
group |
item |
Each partition of the partitioned group is content-distinguishable
from the item. |
partitioned group |
partitioned item |
Each partition of the partitioned group is content-distinguishable
from each partition of the item. |
partitioned group |
sequence group |
Each partition of the partitioned group is content-distinguishable
from the second group. |
partitioned group |
partitioned group |
Each partition of the first partitioned group is content-distinguishable
from each partition of the second partitioned group. |
partitioned group |
choice group |
Each partition of the partitioned group is content-distinguishable
from the choice group. |
partitioned group |
unordered group |
Each partition of the partitioned group is content-distinguishable
from the unordered group. |
sequence group |
item |
The first component is either:
- A group marked as initiator distinguishable and
The item has an initiator and the initiator value of the group is distinguishable
from the initiator value of the item, or The second type has no initiator
and the initiator value of the first type is distinguishable from the value
of the second type.
- A group not marked as initiator distinguishable and
The group has an initiator, the item has an initiator and the initiator
value of the group is distinguishable from initiator value of the item, or
The group has an initiator, the item does not, and value of the initiator
is distinguishable from value of the item, or Both types have initiators
and they are the same, or both types have no initiator and each type in the
starting component set of the group is content-distinguishable from the value
of the second item. |
sequence group |
sequence group |
The first component is either:
- A group marked as initiator distinguishable, and
Both groups are different partitions of the same partitioned subtree,
or The second type has an initiator and those initiators are mutually exclusive,
or The second type has no initiator and the first group is initiator-distinguishable
from each type in the starting component set of the second group.
- A group not marked as initiator distinguishable, and
Both groups are different partitions of the same partitioned subtree,
or Both groups have an initiator and the initiator value of the first group
is distinguishable from the initiator value of the second group, or The first
group has no initiator, the second group has an initiator and the type of
each component in the starting component set of the first group is content-distinguishable
from the second group, or The first group has an initiator, the second group
has no initiator and the first group is content-distinguishable from the type
of each component in the starting component set of the group. Both types
have initiators and they are the same or both types have no initiator and
The first group is content-distinguishable from the starting component set
of the second group, or The second group is content-distinguishable from
the starting component set of the first group, or The starting component
set of the first group is content-distinguishable from the starting component
set of the second group. |
sequence group |
choice group or group |
The first component is either:
- A group marked as initiator distinguishable and
Both groups are different partitions of the same partitioned subtree,
or The second type has an initiator and those initiators are mutually exclusive,
or The second group has no initiator and the first group is initiator-distinguishable
from the type of each component of the second group.
- A group not marked as initiator distinguishable and
Both groups are different partitions of the same partitioned subtree,
or Both groups have an initiator and the initiator of the first group is
distinguishable from the initiator of the second group, or The first group
has an initiator, the second group has no initiator and the first group is
content-distinguishable from the type of each component of the second group,
or The first group has no initiator the second group has an initiator, and
each component in the starting component set of the first group is distinguishable
from the second group, or Both types have initiators, either the initiators
are the same or both types have no initiator, and each component in the starting
component set of the first group is content-distinguishable from the type
of each component of the second group. |
sequence group |
partitioned item or partitioned group |
The first component is either:
- A group marked as initiator-distinguishable and the group
is initiator-distinguishable from each partition of the second type, or
- A group not marked as initiator-distinguishable and the
group is content-distinguishable from each partition of the second type.
|
choice group or unordered group |
item |
The first component is either:
- A group marked as initiator distinguishable and
The item
has an initiator and the initiator value of the group is distinguishable from
the initiator value of the item, or
The second type has no initiator
and the initiator value of the first type is distinguishable from the value
of the second type.
- A group not marked as initiator distinguishable and
Both types have
an initiator and the initiator value of the group is distinguishable from
initiator value of the item, or
The group has an initiator, the item
does not, and the value of the initiator is distinguishable from value of
the item, or
The group has no initiator, the item has an initiator
and the starting component set of the group is content-distinguishable from
the item, or
Both types have initiators and they are the same, both
types have no initiator and the type of each component of the group is distinguishable
from the value of the second item.
|
choice group or group |
sequence group |
The first component is either:
- A group marked as initiator distinguishable and
Both groups are different partitions of the same partitioned subtree,
or The second type has an initiator and those initiators are mutually exclusive,
or The second type has no initiator and the first group is initiator-distinguishable
from each type in the starting set of the second group.
- A group not marked as initiator distinguishable, and
Both groups are different partitions of the same partitioned subtree,
or Both groups have an initiator and the initiator value of the first group
is distinguishable from the initiator value of the second group, or The first
group has an initiator, the second group has no initiator and the first group
is content-distinguishable from the type of each component in the starting
component set of the second group. The first group has no initiator, the
second group has an initiator and the type of each component of the first
group is content-distinguishable from the second group, or. Both types have
initiators and they are the same or both types have no initiator, and the
type of each component of the first group is content-distinguishable from
the type of each component in the starting component set of the second group. |
choice group or group |
choice group or group |
The first component is either:
- A group marked as initiator distinguishable and
Both groups are different partitions of the same partitioned subtree,
or The second type has an initiator and those initiators are mutually exclusive,
or The second group has no initiator and the first group is initiator-distinguishable
from the type of each component of the second group.
- A group not marked as initiator distinguishable and
Both groups are different partitions of the same partitioned subtree,
or Both groups have an initiator and the initiator of the first group is
distinguishable from the initiator of the second group, or The first group
has an initiator, the second group has no initiator and the first group is
content-distinguishable from the type of each component of the second group,
or The first group has no initiator the second group has an initiator, and
each component of the first group is distinguishable from the second group,
or Both types have initiators and the initiators are the same or both types
have no initiator, and the type of each component of the first group is content-distinguishable
from the type of each component of the second group. |
choice group or group |
partitioned item or partitioned group |
The first component is either:
- A group marked as initiator-distinguishable and the group
is initiator-distinguishable from each partition of the second type, or
- A group not marked as initiator-distinguishable and the
group is content-distinguishable from each partition of the second type.
|