Text: Those of greatest interest are Habana Vieja (Old Havana), Centro Habana (Central Havana), Vedado, and to a lesser extent Miramar.
Entailment: Habana Veija means Old Havana.
Contradiction: Habana Veija means New Havana.