Hello all,
We have
(Bag with: 1 with: 1 with: 1) intersection: (Bag with: 1)
-->
(Bag with: 1 with: 1 with: 1)
and:
(Bag with: 1) intersection: (Bag with: 1 with: 1 with: 1)
-->
(Bag with: 1)
Is that a bug or a feature?
I would expect (Bag with: 1) in both cases.
Stef