Assertion: del sol | /r/HasProperty | the city of málaga
Facets:
Source sentences:
text: The Costa del Sol includes the city of Málaga and also the towns of Torremolinos, Benalmádena, Fuengirola, Mijas, Marbella, San Pedro de Alcántara, Estepona, Manilva, Casares, Rincón de la Victoria, Vélez-Málaga, Nerja, Frigiliana and Torrox.