framework/resources/Functional/convert/convert23.q (1 lines of code) (raw):

select cast(convert_to(tbl.x.y, 'JSON') as varchar(20)) from `input2.json` tbl;