head coaches of the Green Bay Packers
...that four of the fifteen head coaches of the Green Bay Packers are in the Pro Football Hall of Fame?
...that four of the fifteen <b id="mwBq0"><a href="./List_of_Green_Bay_Packers_head_coaches" id="mwBq4" rel="mw:WikiLink" title="List of Green Bay Packers head coaches">head coaches of the Green Bay Packers</a></b> are in the <a href="./Pro_Football_Hall_of_Fame" id="mwBq8" rel="mw:WikiLink" title="Pro Football Hall of Fame">Pro Football Hall of Fame</a>?