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