Premise: Behind the cathedral, the 16th-century Renaissance church of San Giovanni Evangelista also has in its dome a fine Correggio fresco of the Vision of St. John on Patmos.

Hypothesis: There is a fresco by Correggio in the church of San Giovanni Evangelista.
Relation: entailment