Kirtlandian
... that the distinct fauna of the Kirtlandian includes the dinosaur Pentaceratops sternbergii?
... that the distinct fauna of the <b id="mwBIo"><a class="mw-redirect" href="./Kirtlandian" id="mwBIs" rel="mw:WikiLink" title="Kirtlandian">Kirtlandian</a></b> includes the dinosaur <i id="mwBIw"><a class="mw-redirect" href="./Pentaceratops_sternbergii" id="mwBI0" rel="mw:WikiLink" title="Pentaceratops sternbergii">Pentaceratops sternbergii</a></i>?