(A with B => C, D => E)