Input (grade 6): He was buried in a cadaver tomb in Saint Denis Basilica.
Output (grade 4): He is buried in the Saint Denis Basilica.