A|B
~A|C
~B|D
~C|F
~B
~C
