DistrictIn(xiufeng, guilin) ∧ DistrictIn(xiangshan, guilin) ∧ DistrictIn(diecai, guilin) ∧ DistrictIn(qixing, guilin) ∧ City(guilin)
¬DistrictIn(yangshuo, guilin)
∃x (DistrictIn(xiangshan, x) ∧ DistrictIn(diecai, x) ∧ City(x))