M : E1 
C : M+E1 
R : (E1)(~C)(~E2) 
m : M 
A : E1 
E1 : (M)(~A)(~m)(~R) 
E2 : (M)(E1)(~R)
