A + R -> C
A -> EmptySet
C -> R
R -> EmptySet
A + DA -> DAp
DAp -> A + DA
DA -> DA + MA
DAp -> DAp + MA
MA -> EmptySet
MA -> A + MA
A + DR -> DRp
DRp -> A + DR
DR -> DR + MR
DRp -> DRp + MR
MR -> EmptySet
MR -> MR + R