Describir: Navigation for Mobile Autonomous Robots and Their Formations: an Application of Spatial Reasoning Induced from Rough Mereological Geometry