Ponta do Sol is the next village after Ribeira Brava.
Ponta do Sol is bigger than Ribeira Brava.
mnli hypothesis: Ponta do Sol is bigger than Ribeira Brava. premise: Ponta do Sol is the next village after Ribeira Brava.