Ian Allen
... that offensive lineman Ian Allen retired from professional football to pursue a music career?
... that <a class="mw-redirect" href="./Offensive_lineman" id="mwBkg" rel="mw:WikiLink" title="Offensive lineman">offensive lineman</a> <b id="mwBkk"><a href="./Ian_Allen_(gridiron_football)" id="mwBko" rel="mw:WikiLink" title="Ian Allen (gridiron football)">Ian Allen</a></b> retired from professional football to pursue a music career?