A>B>C
B|D
.(A|B)
E>A
A&B
