~V(x)|M(x)
~L(y)|~M(y)
L(A)
C(A)

~C(z)|V(z)
