National Football League record for career punting yards
... that the National Football League record for career punting yards is more than 40 miles (65 km)?
... that the <b id="mwAnQ"><a href="./List_of_National_Football_League_career_punting_yards_leaders" id="mwAnU" rel="mw:WikiLink" title="List of National Football League career punting yards leaders">National Football League record for career punting yards</a></b> is more than 40 miles (65<span id="mwAnY" typeof="mw:Entity"> </span>km)?