mnli 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.