Some benchmarks with nested and not propositions