E + P -> E_P_1
E_P_1 -> E + P
E_P_1 -> E + M
E + M -> E_M
E_M -> E + M
E_M -> E + T
E + P -> E_P_2
E_P_2 -> E + P
E_P_2 -> E + P2
E + P2 -> E_P2
E_P2 -> E + P2
E_P2 -> E + T