Output: [ x in {9}, y in {12} ]