A formal semantic model for spatial descriptions