And object has moved one layer away from the data item layer
182 John Debenham
then item B is a sub-item of item A. These two items should be joined with a maintenance link. If A and B are both data items then B is a sub-type of A. Suppose that:
method repeatedly sub-item maintenance links between non-data items are reduced to sub-type links between data items.
maximal sub-expression of |
be a |
|---|
contains (p + 1) terms and
contains (q + 1) terms. Let 
such that:| where |  |
|---|
