Pseudo-complemented ADL