Jeff Robinson
...that Jeff Robinson, who played nine seasons in Major League Baseball, was the thirteenth pitcher in the National League to strike out three batters on nine pitches?
...that <b id="mwBjI"><a href="./Jeff_Robinson_(relief_pitcher)" id="mwBjM" rel="mw:WikiLink" title="Jeff Robinson (relief pitcher)">Jeff Robinson</a></b>, who played nine seasons in <a href="./Major_League_Baseball" id="mwBjQ" rel="mw:WikiLink" title="Major League Baseball">Major League Baseball</a>, was the thirteenth <a href="./Pitcher" id="mwBjU" rel="mw:WikiLink" title="Pitcher">pitcher</a> in the <a class="mw-disambig" href="./National_League" id="mwBjY" rel="mw:WikiLink" title="National League">National League</a> to <a class="mw-redirect" href="./Pitchers_who_have_struck_out_three_batters_on_nine_pitches" id="mwBjc" rel="mw:WikiLink" title="Pitchers who have struck out three batters on nine pitches">strike out three batters on nine pitches</a>?