Text: These include both Arsenio (Rua de Santa Maria, 169) and Marcelinos (Trav.Da Torre, 22) in Funchal's old town, and O Pit??u (Rua da Carreira).
Entailment: These consist of both Arsenio and Marcelinos in Funchal's old town.
Contradiction: They did not consist of Arsenio or Marcelinos.