Definition 1 (Segment Graph Properties): two adjacent edges in G are characterized by:(i) they share the same intermediary splice site (adjacency)
LaTeX Math Inline 

body  $head_e = tail_f = s$ 


(ii) they describe the exonintron structures of all transcripts spanning s (completeness) LaTeX Math Inline 

body  $\forall i \in inedges(s), j \in outedges(s), \bigcup{T_i}=\bigcup{T_j}$ 


(iii) they either differ in mode or in supporting transcripts (discrimination) LaTeX Math Inline 

body  $(mode_e \neq mode_f) \vee (T_e ≠ T_f)$ 


