Text: Five Romanesque portals correspond to the five Islamic-style domes covering the church's Greek-croseground plan.
Entailment: There is a matching number of portals and domes.
Contradiction: The church  only contains Romanesque influences.