Xiufeng, Xiangshan, Diecai, Qixing are districts in the city of Guilin.
DistrictIn(xiufeng, guilin) ∧ DistrictIn(xiangshan, guilin) ∧ DistrictIn(diecai, guilin) ∧ DistrictIn(qixing, guilin) ∧ City(guilin)