Text: They settled in the Alentejo, along the Tagus river, and in the Algarve (which they named al-Gharb, or Western Land ).
Entailment: In Alentejo next to the Tagus river was where they decided to set up and settle down.
Contradiction: They settled in New Mexico in the Algarve.