@wparker: thanks for your explanation. It is as you say: [:or B C ] is firing as an union, whereas what I am looking for is [B (or pred1 pred2)]