~C(x)|L(x)
~D(y)|~L(y)
D(A)
I(A)

~I(u)|C(u)
