mnli premise: The basilica of San Francesco is in fact two churches, one above the other, built on top of the saint's simple tomb in the crypt. hypothesis: One of the churches was erected on top of the saint's tomb.