under which president did the predecessor of josé ramón machado ventura work ?
SELECT DISTINCT var_uri where brack_open var_x dbo_successor dbr_José_Ramón_Machado_Ventura sep_dot var_x dbo_president var_uri brack_close