發送短信: Qualitative spatial and temporal reasoning