Output: [ x in [1;2], y in [1;3] ]