One of the key features of this RM4TM is that the merging process does not need to understand the semantics of assertion types in order to merge identical assertions. If two assertions have the same type, regardless of what it is, and the same role players playing the same role types, regardless of what they are, they can be seen to be identical and automatically merged.

move to TM Application (parid0269) or separate section on merger (parid0413).