tomb of his rival, Anacletus II
... that Pope Innocent II demolished Santa Maria in Trastevere and was buried in the rebuilt basilica, in the space formerly occupied by the tomb of his rival, Anacletus II?
... that <a href="./Pope_Innocent_II" id="mwDBM" rel="mw:WikiLink" title="Pope Innocent II">Pope Innocent II</a> demolished <a href="./Santa_Maria_in_Trastevere" id="mwDBQ" rel="mw:WikiLink" title="Santa Maria in Trastevere">Santa Maria in Trastevere</a> and was buried in the rebuilt <a href="./Basilica" id="mwDBU" rel="mw:WikiLink" title="Basilica">basilica</a>, in the space formerly occupied by the <b id="mwDBY"><a href="./List_of_tombs_of_antipopes" id="mwDBc" rel="mw:WikiLink" title="List of tombs of antipopes">tomb of his rival, Anacletus II</a></b>?