T1 + alpha <-> alpha_T1
alpha_T1_alpha <-> alpha + alpha_T1
T1_alpha <-> T1 + alpha
alpha_T1_alpha <-> T1_alpha + alpha
alpha_T1 -> alpha_alpha_T1
alpha_T1_alpha -> alpha + alpha_alpha_T1
alpha_alpha_T1 -> alpha_T1_alpha
T2 + alpha <-> alpha_T2
alpha_T2_beta <-> alpha_T2 + beta
T2_beta <-> T2 + beta
alpha_T2_beta <-> T2_beta + alpha
alpha_T2 -> alpha_beta_T2
alpha_T2_beta -> alpha_beta_T2 + beta
alpha_beta_T2 -> alpha_T2_beta
T3 + beta <-> beta_T3
beta_T3_Inh <-> Inh + beta_T3
Inh + T3 <-> T3_Inh
T3_Inh + beta <-> beta_T3_Inh
beta_T3 -> beta_Inh_T3
beta_T3_Inh -> Inh + beta_Inh_T3
beta_Inh_T3 -> beta_T3_Inh
Inh + T1 <-> Inh_T1
Inh + T1_alpha <-> Inh_T1 + alpha
Inh_T1 + alpha <-> Inh + alpha_T1
alpha <-> empty
beta <-> empty
Inh <-> empty