which employer of tim cook is also the producer of ibm system/23 ?
SELECT DISTINCT var_uri where brack_open dbr_Tim_Cook dbo_employer var_uri sep_dot dbr_IBM_System/23 dbo_manufacturer var_uri brack_close