(2010), we assumed template 1 (T 1 ) has a happens-before relation with template 2 (T 2 ) iff one event expressed by T 1 normally happens before another expressed by T 2 , provided that both events occur.
note that the existence of an L2-link does not guarantee that the semantic properties specified by it hold for all the possible template pairs taken from the class pair it connects.