Output: [ x in [1;9] ]