Out of place in rules on assertions. Should be moved to Defintion of TM Application (parid0269) or perhaps separate treatment of merger (parid0413).