Invia SMS: Qualitative spatial and temporal reasoning