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