Hi Kevin:
here is an example that has duplicate parts:
In class dictionary notation we would write:
C = Op
Exp
Exp.
E : C.
In other words, you have to check whether all names in
a sequence are unique. This is the translation of the "unique parts"
check for class dictionaries.
Please note that
(or
A = B.
B = C.
)
DOES NOT violate the unique parts rule.