Output: [ x in [5;10] ]