which work institutions of the john g . thompson is the alma mater of the saul kripke ?
SELECT DISTINCT var_uri where brack_open dbr_John_G._Thompson dbp_workInstitutions var_uri sep_dot dbr_Saul_Kripke dbo_almaMater var_uri brack_close