which official residence of paul lauterbur is also the origin of hefty ?
SELECT DISTINCT var_uri where brack_open dbr_Hefty dbp_origin var_uri sep_dot dbr_Paul_Lauterbur dbo_residence var_uri brack_close