a city of Sicily, in the intendancy of Girgenti, on a lofty mountain, containing 4500 inhabitants.