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 such that: