Turn a predicate list from (and (not …)+) into (not (or …+))

The ghost of George Boole demanded this change and I had to comply.