Premise: Five Romanesque portals correspond to the five Islamic-style domes covering the church's Greek-croseground plan.

Hypothesis: There is a matching number of portals and domes.
Relation: entailment