Premise: These days Santa Cruz is best known for the Aeroporto de Santa Cataria (international airport) that serves Funchal and all of Madeira.

Hypothesis: Santa Cruz has an international airport but not one that serves Funchal.
Relation: contradiction