M : EE1 : E
miR : M : E
CD : M + EE1 : E
RP : (~CD)(~EE2) : E
EE1 : (M)(EE1)(~RP)(~miR) : E
EE2 : EE1 : E