GEO location and spatial position Interlis formal language for describing geoinformation & spatial data