D>E
A>B
.A
.B
.(D>E)
F
