in which state do john d . kraus and carl ferdinand cori live ?
SELECT DISTINCT var_uri where brack_open dbr_John_D._Kraus dbo_residence var_uri sep_dot dbr_Carl_Ferdinand_Cori dbo_residence var_uri brack_close