Dallas Mavericks head coaches
... that none of the Dallas Mavericks head coaches have been elected into the Basketball Hall of Fame as a coach?
... that none of the <b id="mwEeE"><a href="./List_of_Dallas_Mavericks_head_coaches" id="mwEeI" rel="mw:WikiLink" title="List of Dallas Mavericks head coaches">Dallas Mavericks head coaches</a></b> have been elected into the <a class="mw-redirect" href="./Basketball_Hall_of_Fame" id="mwEeM" rel="mw:WikiLink" title="Basketball Hall of Fame">Basketball Hall of Fame</a> as a <a href="./Coach_(basketball)" id="mwEeQ" rel="mw:WikiLink" title="Coach (basketball)">coach</a>?