parid0494 | Tue, 25 Feb 2003 17:04:28
Identity of assertions
(move)
Out of place in rules on assertions. Should be moved to Defintion
of TM Application (parid0269) or perhaps separate treatment of merger (parid0413).