abc and not (def or ghi)