Interesting observation, I was just trying to round trip the simple test examples provided. I think I would represent the case you describe as "(A = 1 OR A = 2 OR A=3) OR (B = 5 OR B=6)" and then only a simplify you disturb the peace.