West Jerusalem is a general name for the area west of the Old City
The region west of the Old City is collectively known as West Jerusalem.
mnli hypothesis: The region west of the Old City is collectively known as West Jerusalem. premise: West Jerusalem is a general name for the area west of the Old City