Ex.3 -> a
Ex -> b,c
Ex.2 -> d