added logic to handle translation from allFalse to negated atLeastOneTru...

...e and atLeastOneFalse to negated allTrue
can we put this back to how it was?