four players record a batting average over .400
... that the Philadelphia Phillies had four players record a batting average over .400 during the 1894 season?
... that the <a href="./Philadelphia_Phillies" id="mwApg" rel="mw:WikiLink" title="Philadelphia Phillies">Philadelphia Phillies</a> had <b id="mwApk"><a href="./List_of_Major_League_Baseball_players_with_a_.400_batting_average_in_a_season" id="mwApo" rel="mw:WikiLink" title="List of Major League Baseball players with a .400 batting average in a season">four players record a batting average over .400</a></b> during the 1894 season?