TUcurrent includes
TUprevious, and
TUcurrent is less specific than
TUprevious.
Let F be the most specific field in
TUcurrent.
The resolvent contains
all of the information in
TUprevious of the same or lower
specificity than F.
(See rule A-less-specific in Section 5.3.)
For example (see also (5)-(6) of the corpus example in
Figure 1):
