Output: [ x in [11;15] ]