list some leaders of regions in the irish standard time zone ?
SELECT DISTINCT var_uri where brack_open var_x dbo_timeZone dbr_Irish_Standard_Time sep_dot var_x dbo_leaderName var_uri sep_dot var_x a dbo_Place brack_close